Rule-based OWL ontology reasoning using dynamic ABOX entailments

Frontiers in Artificial Intelligence and Applications

Volumn 178, Issue , 2008, Pages 731-732

  Meditskos, Georgios ^a   Bassiliades, Nick ^a  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; ENGINES; SEMANTICS;

ONTOLOGY REASONINGS; ONTOLOGY'S; OWL ONTOLOGIES; REASONING PARADIGM; REASONING PERFORMANCE; RULE BASED; RULE ENGINE;

ONTOLOGY;

EID: 84904466535     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-891-5-731     Document Type: Conference Paper

References (16)

1. G. Antoniou, C.V. Damasio, B. Grosof, I. Horrocks, M. Kifer, J. Maluszynski, P.F. Patel-Schneider, Combining Rules and Ontologies. A Survey, Reasoning on the Web with Rules and Semantics, REWERSE Deliverables, 2005.
2. F. Baader, U. Sattler, An Overview of Tableau Algorithms for Description Logics, Studia Logica, vol. 69, pp. 5-40, 2001
3. CLIPS, http://www.ghg.net/clips
4. B. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: Combining logic programs with description logics, WWW 2003, pp. 48–57. ACM, 2003.
5. P. Hitzler, J. Angele, B. Motik, R. Studer, Bridging the Paradigm Gap with Rules for OWL. In Proc. of the W3C Workshop on Rule Languages for Interoperability, Washington, USA, 2005
6. I. Horrocks, P.F. Patel-Schneider, A Proposal for an OWL Rules Language, 13th Int. WWW Conf., ACM, New York (2004)
7. H.J. Horst, Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary, Journal of Web Semantics, vol. 3, pp. 79-115, 2005
8. A. Kiryakov, D. Ognyanov, D. Manov, OWLIM - a Pragmatic Semantic Repository for OWL, Proc. Workshop Scalable Semantic Web Knowledge Base Systems, USA, 2005
9. L. Laera, V. Tamma, T.B. Capon, G. Semeraro, SweetProlog: A System to Integrate Ontologies and Rules, Rules and Rule Markup Languages for the Semantic Web, 2004.
10. A.Y. Levy, M.-C. Rousset, Combining Horn rules and description logics in CARIN, Artificial Intelligence, 104(1-2), 165–209 (1998).
11. Y. Guo, Z. Pan, J. Heflin, LUBM: A Benchmark for OWL Knowledge Base Systems, Journal of Web Semantics, 3(2), pp. 158-182, 2005
12. B. McBride, Jena, Implementing the RDF Model and Syntax Specification, 2nd International Workshop on the Semantic Web, Hong Kong, China, 2001
13. B. Motik, I. Horrocks, R. Rosati, U. Sattler, Can OWL and Logic Live Together Happily Ever After?, Proc. 5th ISWC, Athens, USA, 2006
14. R. Rosati, On the decidability and complexity of integrating ontologies and rules, Web Semantics: Science, Services and Agents on the World Wide Web, vol. 3(1), pp. 61-73, July 2005.
15. D. Tsarkov, A. Riazanov, S. Bechhofer, I. Horrocks, Using Vampire to reason with OWL, International Semantic Web Conference, pp. 471-485, 2004.
16. Web Ontology Language - OWL, http://www.w3.org/2004/OWL/