Reducing OWL entailment to description logic satisfiability

Authors:
Ian Horrocks;Peter Patel-Schneider
Affiliations:
Department of Computer Science, University of Manchester, Kilburn Building, Manchester M13 9PL, UK;Bell Labs Research, Lucent Technologies, Murray Hill, NJ, USA
Venue:
Web Semantics: Science, Services and Agents on the World Wide Web
Year:
2004

Citing 5
Cited 71

The complexity of concept languages

Information and Computation
OIL: An Ontology Infrastructure for the Semantic Web

IEEE Intelligent Systems
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Ontology reasoning in the SHOQ(D) description logic

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
How to decide query containment under constraints using a description logic

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

A mapping system for the integration of OWL-DL ontologies

Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Position paper: a comparison of two modelling paradigms in the Semantic Web

Proceedings of the 15th international conference on World Wide Web
Variable-strength conditional preferences for ranking objects in ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
A comparison of two modelling paradigms in the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
Guarded hybrid knowledge bases12

Theory and Practice of Logic Programming
Probabilistic description logic programs under inheritance with overriding for the Semantic Web

International Journal of Approximate Reasoning
An Approach to the Development of Flexible Multirobot Systems: the Potential of Using Mobile Code Technology

Journal of Intelligent and Robotic Systems
Social acquisition of ontologies from communication processes

Applied Ontology - Formal Ontologies for Communicating Agents
Algorithms for Paraconsistent Reasoning with OWL

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Tractable Probabilistic Description Logic Programs

SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Service Specification and Matchmaking Using Description Logic

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A semantic fuzzy expert system for a fuzzy balanced scorecard

Expert Systems with Applications: An International Journal
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
OWL 2: The next step for OWL

Web Semantics: Science, Services and Agents on the World Wide Web
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion

Uncertainty Reasoning for the Semantic Web I
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions

Uncertainty Reasoning for the Semantic Web I
A Fuzzy Semantics for the Resource Description Framework

Uncertainty Reasoning for the Semantic Web I
Ontology Learning and Reasoning -- Dealing with Uncertainty and Inconsistency

Uncertainty Reasoning for the Semantic Web I
Ontology-based curriculum content sequencing system with semantic rules

Expert Systems with Applications: An International Journal
Project teaming: Knowledge-intensive design for composing team members

Expert Systems with Applications: An International Journal
Fuzzy description logics under Gödel semantics

International Journal of Approximate Reasoning
Ontology-Based Learning Objects Search And Courses Generation

Applied Artificial Intelligence
Semantic information integration and question answering based on pervasive agent ontology

Expert Systems with Applications: An International Journal
Exploiting conjunctive queries in description logic programs

Annals of Mathematics and Artificial Intelligence
Learning Expressive Ontologies

Proceedings of the 2008 conference on Ontology Learning and Population: Bridging the Gap between Text and Knowledge
Realizing Default Logic over Description Logic Knowledge Bases

ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Supporting Fuzzy Rough Sets in Fuzzy Description Logics

ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Statistical Relational Learning with Formal Ontologies

ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part II
Fuzzy description logics with general t-norms and datatypes

Fuzzy Sets and Systems
Scalable highly expressive reasoner (SHER)

Web Semantics: Science, Services and Agents on the World Wide Web
Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary

Web Semantics: Science, Services and Agents on the World Wide Web
Granular computing applied to ontologies

International Journal of Approximate Reasoning
Supply chain teaming: a knowledge intensive approach for finding and selecting partners

Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Creating Kansei engineering-based ontology for annotating and archiving photos database

HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
A formally verified prover for the ALC description logic

TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics

International Journal of Approximate Reasoning
A semantic network approach to analyzing virtual team interactions in the early stages of conceptual design

Future Generation Computer Systems
Well-founded semantics for description logic programs in the semantic web

ACM Transactions on Computational Logic (TOCL)
An extended predictive model markup language for data mining

WAIM'10 Proceedings of the 11th international conference on Web-age information management
Using ontologies to facilitate post-processing of association rules by domain experts

Information Sciences: an International Journal
Knowledge integration through semantic query rewriting

ACS'09 Proceedings of the 9th WSEAS international conference on Applied computer science
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ

Information Sciences: an International Journal
Ontology-based context representation and reasoning for object tracking and scene interpretation in video

Expert Systems with Applications: An International Journal
Semantic representation of multimedia content

Knowledge-driven multimedia information extraction and ontology evolution
Conjunctive query optimization in OWL2-DL

DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
DeLorean: A reasoner for fuzzy OWL 2

Expert Systems with Applications: An International Journal
Simplifying Ontologies for Smoother Interaction in Heterogeneous Environments

WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Towards summarizing knowledge: Brief ontologies

Expert Systems with Applications: An International Journal
On applying the AGM theory to DLs and OWL

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A general diagnosis method for ontologies

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
On logical consequence for collections of OWL documents

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A framework for handling inconsistency in changing ontologies

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Preferential reasoning on a web of trust

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Combining RDF and part of OWL with rules: semantics, decidability, complexity

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A comparison of reasoning techniques for querying large description logic ABoxes

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Variable-strength conditional preferences for ranking objects in ontologies

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A tableau-based explainer for DL subsumption

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Evolving ontology evolution

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Building conceptual knowledge for managing learning paths in e-learning

KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Towards a fuzzy description logic for the semantic web (preliminary report)

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Consistent evolution of OWL ontologies

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Collaborative and usage-driven evolution of personal ontologies

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Inferring with inconsistent OWL DL ontology: a multi-valued logic approach

EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Extending context descriptions in semantics-aware access control

ICISS'06 Proceedings of the Second international conference on Information Systems Security
Social acquisition of ontologies from communication processes

Applied Ontology - Formal Ontologies for Communicating Agents
Semantic independence in DL-programs

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A hybrid reasoning mechanism for effective sensor selection for tasks

Engineering Applications of Artificial Intelligence
Discovering interesting information with advances in web technology

ACM SIGKDD Explorations Newsletter
Structuring reasoning for interpretation of sensor data in home-based health and well-being monitoring applications

Journal of Ambient Intelligence and Smart Environments - Home-based Health and Wellness Measurement and Monitoring

Quantified Score

Hi-index	0.01

Visualization

Abstract

We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the SHOIN(D) and SHIF(D) description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.