Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments

Authors:
Georgios Meditskos;Nick Bassiliades
Affiliations:
Department of Informatics, Aristotle University of Thessaloniki, Greece, email: gmeditsk@csd.auth.gr;Department of Informatics, Aristotle University of Thessaloniki, Greece, email: nbassili@csd.auth.gr
Venue:
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Year:
2008

Citing 7
Cited 1

Combining Horn rules and description logics in CARIN

Artificial Intelligence
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language

Proceedings of the 13th international conference on 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
LUBM: A benchmark for OWL knowledge base systems

Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules

Web Semantics: Science, Services and Agents on the World Wide Web
OWLIM – a pragmatic semantic repository for OWL

WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering

Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules, in order to deduce new knowledge. In this paper we briefly introduce the notion of dynamically generating ABOX entailment rules in order to enhance the ABOX reasoning performance of a rule engine. The proposed methodology is still based on entailments rules for reasoning, using generic TBOX entailments for handling OWL semantics about concepts and roles, and dynamic ABox entailments for handling ontology instances.