Ontology module extraction and applications to ontology classification

Ontology module extraction and applications to ontology classification

<p>Module extraction is the task of computing a (preferably small) fragment <i>M</i> of an ontology <i>O</i> that preserves a class of entailments over a signature of interest ∑. Existing practical approaches ensure that <i>M</i> preserves all second-order e...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Armas Romero, A
Rannpháirtithe:	Horrocks, I
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2015
Ábhair:	Knowledge Representation Automated Reasoning Artificial Intelligence Computer Science

Míreanna comhchosúla

Consequence-based reasoning for SRIQ ontologies
de réir: Bate, A
Foilsithe / Cruthaithe: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewriting techniques for non-Horn ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

A survey on applications of ontology knowledge representation in robotics
de réir: Yueguang GE, et al.
Foilsithe / Cruthaithe: (2022-06-01)

Rule-based stream reasoning
de réir: Ronca, A
Foilsithe / Cruthaithe: (2019)

Incremental update of datalog materialisation : the backward/forward algorithm
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2014)

Evaluating conjunctive and graph queries over the EL profile of OWL 2
de réir: Stefanoni, G
Foilsithe / Cruthaithe: (2015)

Ontology-Based Knowledge Representation in Robotic Systems: A Survey Oriented toward Applications
de réir: Sumaira Manzoor, et al.
Foilsithe / Cruthaithe: (2021-05-01)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
de réir: Gonzalo A. Aranda-Corral, et al.
Foilsithe / Cruthaithe: (2024-05-01)

Consequence-based reasoning for the Description Logic SROIQ
de réir: Tena Cucala, DJ
Foilsithe / Cruthaithe: (2019)

Handling owl:sameAs via rewriting
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Ontologies for agents: theory and experiences/
de réir: Tamma, Valentina, et al.
Foilsithe / Cruthaithe: (2005)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
de réir: Fabrício Martins Mendonça, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
de réir: Fabrício Martins Mendonça, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Ontology-Driven Computer Systems
de réir: Mykola Petrenko, et al.
Foilsithe / Cruthaithe: (2023-12-01)

The Data Complexity of Description Logic Ontologies
de réir: Carsten Lutz, et al.
Foilsithe / Cruthaithe: (2017-11-01)

ViLO — A Core Ontology of Vietnamese Legal Documents
de réir: Minh Duc Nguyen, et al.
Foilsithe / Cruthaithe: (2022-08-01)

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet
de réir: Javier Alvez, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies
de réir: Luke T. Slater, et al.
Foilsithe / Cruthaithe: (2020-12-01)

An Ontology-Based Approach to Reduce the Negative Impact of Code Smells in Software Development Projects
de réir: Ivian L. Castellano, et al.
Foilsithe / Cruthaithe: (2023-01-01)

An Ontology-Based Expert System for Rice Disease Identification and Control Recommendation
de réir: Watanee Jearanaiwongkul, et al.
Foilsithe / Cruthaithe: (2021-11-01)

Developing an ontology for representing the domain knowledge specific to non‐pharmacological treatment for agitation in dementia
de réir: Zhenyu Zhang, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Ontologies – in Support of Web Intelligent Agents’ Development
de réir: Vasile - Daniel Păvăloaia
Foilsithe / Cruthaithe: (2012-08-01)

Knowledge Representation & Ontology /
de réir: Walling, Lyda, author 639677, et al.
Foilsithe / Cruthaithe: (2012)

Ontology-Based Context Event Representation, Reasoning, and Enhancing in Academic Environments
de réir: Josué Padilla-Cuevas, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
de réir: Lukas Westhofen, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Handbook on ontologies /
de réir: Staab, Steffen, et al.
Foilsithe / Cruthaithe: (2004)

An Automated English Essay Scoring Engine Based on Neutrosophic Ontology for Electronic Education Systems
de réir: Saad M. Darwish, et al.
Foilsithe / Cruthaithe: (2023-07-01)

Ontological approach to the normative dimension of organizations: an application of Documents Acts Ontology
de réir: Maurício Barcellos Almeida, et al.
Foilsithe / Cruthaithe: (2017-12-01)

Ontological approach to the normative dimension of organizations: an application of Documents Acts Ontology
de réir: Maurício Barcellos Almeida, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Integrating phenotype ontologies with PhenomeNET
de réir: Miguel Ángel Rodríguez-García, et al.
Foilsithe / Cruthaithe: (2017-12-01)

Knowledge Representation Using Type-2 Fuzzy Rough Ontologies in Ontology Web Language
de réir: D. Nilavu, et al.
Foilsithe / Cruthaithe: (2015-03-01)

CONTEXT ONTOLOGY IN MOBILE APPLICATIONS
de réir: Farhanah Atiqah Norki, et al.
Foilsithe / Cruthaithe: (2019-12-01)

Consequence-based reasoning for ontology classification
de réir: Simancik, F
Foilsithe / Cruthaithe: (2013)

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
de réir: Zhou, Y
Foilsithe / Cruthaithe: (2015)

ROBOT: A Tool for Automating Ontology Workflows
de réir: Rebecca C. Jackson, et al.
Foilsithe / Cruthaithe: (2019-07-01)

The impact of disjunction on reasoning under existential rules
de réir: Morak, M
Foilsithe / Cruthaithe: (2014)