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...

書誌詳細
第一著者:	Armas Romero, A
その他の著者:	Horrocks, I
フォーマット:	学位論文
言語:	English
出版事項:	2015
主題:	Knowledge Representation Automated Reasoning Artificial Intelligence Computer Science

類似資料

Consequence-based reasoning for SRIQ ontologies
著者:: Bate, A
出版事項: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
著者:: Kaminski, M, 等
出版事項: (2014)

Datalog rewriting techniques for non-Horn ontologies
著者:: Kaminski, M, 等
出版事項: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
著者:: Kaminski, M, 等
出版事項: (2014)

A survey on applications of ontology knowledge representation in robotics
著者:: Yueguang GE, 等
出版事項: (2022-06-01)

Rule-based stream reasoning
著者:: Ronca, A
出版事項: (2019)

Incremental update of datalog materialisation : the backward/forward algorithm
著者:: Motik, B, 等
出版事項: (2015)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
著者:: Motik, B, 等
出版事項: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
著者:: Stefanoni, G, 等
出版事項: (2014)

Evaluating conjunctive and graph queries over the EL profile of OWL 2
著者:: Stefanoni, G
出版事項: (2015)

Ontology-Based Knowledge Representation in Robotic Systems: A Survey Oriented toward Applications
著者:: Sumaira Manzoor, 等
出版事項: (2021-05-01)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
著者:: Gonzalo A. Aranda-Corral, 等
出版事項: (2024-05-01)

Consequence-based reasoning for the Description Logic SROIQ
著者:: Tena Cucala, DJ
出版事項: (2019)

Handling owl:sameAs via rewriting
著者:: Motik, B, 等
出版事項: (2015)

Ontologies for agents: theory and experiences/
著者:: Tamma, Valentina, 等
出版事項: (2005)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
著者:: Fabrício Martins Mendonça, 等
出版事項: (2021-12-01)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
著者:: Fabrício Martins Mendonça, 等
出版事項: (2021-12-01)

Ontology-Driven Computer Systems
著者:: Mykola Petrenko, 等
出版事項: (2023-12-01)

The Data Complexity of Description Logic Ontologies
著者:: Carsten Lutz, 等
出版事項: (2017-11-01)

ViLO — A Core Ontology of Vietnamese Legal Documents
著者:: Minh Duc Nguyen, 等
出版事項: (2022-08-01)

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet
著者:: Javier Alvez, 等
出版事項: (2019-01-01)

Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies
著者:: Luke T. Slater, 等
出版事項: (2020-12-01)

An Ontology-Based Approach to Reduce the Negative Impact of Code Smells in Software Development Projects
著者:: Ivian L. Castellano, 等
出版事項: (2023-01-01)

An Ontology-Based Expert System for Rice Disease Identification and Control Recommendation
著者:: Watanee Jearanaiwongkul, 等
出版事項: (2021-11-01)

Developing an ontology for representing the domain knowledge specific to non‐pharmacological treatment for agitation in dementia
著者:: Zhenyu Zhang, 等
出版事項: (2020-01-01)

Ontologies – in Support of Web Intelligent Agents’ Development
著者:: Vasile - Daniel Păvăloaia
出版事項: (2012-08-01)

Knowledge Representation & Ontology /
著者:: Walling, Lyda, author 639677, 等
出版事項: (2012)

Ontology-Based Context Event Representation, Reasoning, and Enhancing in Academic Environments
著者:: Josué Padilla-Cuevas, 等
出版事項: (2021-06-01)

Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
著者:: Lukas Westhofen, 等
出版事項: (2022-01-01)

Handbook on ontologies /
著者:: Staab, Steffen, 等
出版事項: (2004)

An Automated English Essay Scoring Engine Based on Neutrosophic Ontology for Electronic Education Systems
著者:: Saad M. Darwish, 等
出版事項: (2023-07-01)

Ontological approach to the normative dimension of organizations: an application of Documents Acts Ontology
著者:: Maurício Barcellos Almeida, 等
出版事項: (2017-12-01)

Ontological approach to the normative dimension of organizations: an application of Documents Acts Ontology
著者:: Maurício Barcellos Almeida, 等
出版事項: (2019-03-01)

Integrating phenotype ontologies with PhenomeNET
著者:: Miguel Ángel Rodríguez-García, 等
出版事項: (2017-12-01)

Knowledge Representation Using Type-2 Fuzzy Rough Ontologies in Ontology Web Language
著者:: D. Nilavu, 等
出版事項: (2015-03-01)

CONTEXT ONTOLOGY IN MOBILE APPLICATIONS
著者:: Farhanah Atiqah Norki, 等
出版事項: (2019-12-01)

Consequence-based reasoning for ontology classification
著者:: Simancik, F
出版事項: (2013)

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
著者:: Zhou, Y
出版事項: (2015)

ROBOT: A Tool for Automating Ontology Workflows
著者:: Rebecca C. Jackson, 等
出版事項: (2019-07-01)

The impact of disjunction on reasoning under existential rules
著者:: Morak, M
出版事項: (2014)