OWL rules: A proposal and prototype implementation

Web Semantics

Volumn 3, Issue 1, 2005, Pages 23-40

  Horrocks, Ian ^a   Patel Schneider, Peter F ^a   Bechhofer, Sean ^a   Tsarkov, Dmitry ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Knowledge representation; Model theoretic semantics; Reasoning; Rules languages; Semantic Web

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SYSTEMS PROGRAMMING; CONFORMAL MAPPING; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; WEBSITES;

MODEL-THEORETIC SEMANTICS; REASONING; RULES LANGUAGES; SEMANTIC WEB;

SEMANTICS;

EID: 21244467061     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2005.05.003     Document Type: Article

References (54)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2002.
2. F. Baader, and U. Sattler Number restrictions on complex roles in description logics: a preliminary report Proceedings of the 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR'96) 1996 328 338
3. L. Bachmair, and H. Ganzinger Resolution Theorem Proving A. Robinson A. Voronkov Handbook of Automated Reasoning, vol. I 2001 Elsevier Science 19 99 Chapter 2
4. R. Berger The undecidability of the dominoe problem Mem. Am. Math. Soc. 66 1966 1 72
5. T. Berners-Lee, Semantic web roadmap, 1998, Available at http://www.w3.org/DesignIssues/Semantic.
6. P.V. Biron, A. Malhotra, XML schema part 2: Datatypes, W3C Recommendation, May 2001, http://www.w3.org/TR/xmlschema-2/.
7. A. Borgida On the relative expressiveness of description logics and predicate logics Artif. Intell. 82 1-2 1996 353 367
8. A. Borgida, and P.F. Patel-Schneider A semantics and complete algorithm for subsumption in the CLASSIC description logic J. Artif. Intell. Res. 1 1994 277 308
9. The CASC web page, http://www.cs.miami.edu/tptp/CASC/.
10. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L.A. Stein, OWL Web Ontology Language Reference, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/owl-ref/.
11. H. Ganzinger, and H. de Nivelle A superposition decision procedure for the guarded fragment with equality Proceedings of the IEEE Conference on Logic in Computer Science (LICS) 1999 295 304
12. M.R. Genesereth, R.E. Fikes, Knowledge Interchange Format Version 3.0 Reference Manual, Technical Report Logic Group Report Logic-92-1, Stanford University, 2001, http://logic.stanford.edu/kif/Hypertext/kif-manual.html.
13. E. Gradel, M. Otto, and E. Rosen Two-variable logic with counting is decidable Proceedings of LICS 1997 1997 306 317
14. B.N. Grosof, I. Horrocks, R. Volz, and S. Decker Description logic programs: combining logic programs with description logic Proceedings of the Twelfth International World Wide Web Conference (WWW 2003) 2003 ACM 48 57
15. P. Hayes, RDF model theory. W3C Recommendation, 10 February 2004, available at http://www.w3.org/TR/rdf-mt/.
16. L. Hollink, G. Schreiber, J. Wielemaker, and B. Wielinga Semantic annotation of image collections Available at http://www.cs.vu.nl/guus/papers/ Hollink03c.pdf Workshop on Knowledge Markup and Semantic Annotation, KCAP'03 2003
17. M. Hori, J. Euzenat, P.F. Patel-Schneider, OWL web ontology language XML presentation syntax, W3C Note, 11 June 2003, Available at http://www.w3.org/TR/ owl-xmlsyntax/.
18. I. Horrocks, P.F. Patel-Schneider, The generation of DAML+ OIL, in: Proceedings of the 2001 Description Logic Workshop (DL 2001), CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-49/, 2001, pp. 30-35.
19. I. Horrocks, and P.F. Patel-Schneider Reducing OWL entailment to description logic satisfiability D. Fensel K. Sycara J. Mylopoulos Proceedings of the 2003 International Semantic Web Conference (ISWC 2003) Lecture Notes in Computer Science vol. 2870 2003 Springer 17 29
20. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen From SHIQ and RDF to OWL: the making of a web ontology language J. Web Semantics 1 1 2003 7 26
21. I. Horrocks, and U. Sattler Ontology reasoning in the S H O Q (D) description logic Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001) 2001 199 204
22. I. Horrocks, and U. Sattler The effect of adding complex role inclusion axioms in description logics Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) 2003 Morgan Kaufmann Los Altos 343 348
23. I. Horrocks, and U. Sattler Decidability of S H I Q with complex role inclusion axioms Artif. Intell. 160 1-2 2004 79 104
24. I. Horrocks, U. Sattler, and S. Tobies Practical reasoning for expressive description logics H. Ganzinger D. McAllester A. Voronkov Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) Lecture Notes in Artificial Intelligence vol. 1705 1999 Springer 161 180
25. I. Horrocks, and S. Tobies Reasoning with axioms: Theory and practice Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2000) 2000 285 296
26. U. Hustadt, and R.A. Schmidt MSPASS: Modal reasoning by translation and first-order resolution R. Dyckhoff Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX 2000) Lecture Notes in Artificial Intelligence vol. 1847 2000 Springer 67 71
27. G. Klyne, J.J. Carroll, Resource description framework (RDF): concepts and abstract syntax, W3C Recommendation, 10 February 2004, Available at http://www.w3.org/TR/rdf-concepts/.
28. A.Y. Levy, and M.-C. Rousset Combining Horn rules and description logics in CARIN Artif. Intell. 104 1-2 1998 165 209
29. K. Li, Optimising first order reasoning over owl ontologies, Master's thesis, University of Manchester, 2004.
30. D.V. McDermott, D. Dou, Representing disjunction and quantifiers in rdf, in: Proceedings of the 13th International Semantic Web Conference (ISWC 2002), vol. 2342, Lecture Notes in Computer Science, Springer, 2002, pp. 250-263.
31. M. Mortimer On languages with two variables Zeitschr. für math. Logik und Grundlagen der Math. 21 1975 135 140
32. M. Moser, O. Ibens, R. Letz, J. Steinbach, C. Goller, J. Schumann, and K. Mayr SETHEO and e-SETHEO - the CADE-13 systems J. Automated Reasoning 18 2 1997 237 246
33. R. Nieuwenhuis, and A. Rubio Paramodulation-Based Theorem Proving A. Robinson A. Voronkov Handbook of Automated Reasoning, vol. I 2001 Elsevier Science 371 443 Chapter 7
34. L. Padgham, and P. Lambrix A framework for part-of hierarchies in terminological logics Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR'94) 1994 485 496
35. J. Pan, and I. Horrocks Web ontology reasoning with datatype groups D. Fensel K. Sycara J. Mylopoulos Proceedings of the 2003 International Semantic Web Conference (ISWC 2003) Lecture Notes in Computer Science 2870 2003 Springer 47 63
36. M. Paramasivam, and D.A. Plaisted Automated deduction techniques for classification in description logic systems J. Automated Reasoning 20 3 1998 337 364
37. P.F. Patel-Schneider, P. Hayes, I. Horrocks, OWL web ontology language semantics and abstract syntax, W3C Recommendation, 10 February 2004, Available at http://www.w3.org/TR/owl-semantics/.
38. P.F. Patel-Schneider, D.L. McGuiness, R.J. Brachman, L.A. Resnick, and A. Borgida The CLASSIC knowledge representation system: Guiding principles and implementation rational SIGART Bull. 2 3 1991 108 113
39. A. Rector Analysis of propagation along transitive roles: Formalisation of the galen experience with medical ontologies CEUR (http://ceur-ws.org/ ) Proceedings of DL 2002 2002
40. A. Rector, S. Bechhofer, C.A. Goble, I. Horrocks, W.A. Nowlan, and W.D. Solomon The Grail concept modelling language for medical terminology Artif. Intell. Med. 9 1997 139 171
41. A. Rector, and I. Horrocks Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97) 1997
42. A. Riazanov, and A. Voronkov The Design and Implementation of Vampire AI Communications 15 2-3 2002 91 110
43. U. Sattler Description logics for the representation of aggregated objects Proceedings of ECAI 2000 2000 IOS Press
44. K. Schild A correspondence theory for terminological logics: Preliminary report Proceedings of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91) 1991 466 471
45. M. Schmidt-Schauß Subsumption in KL-ONE is undecidable R.J. Brachman H.J. Levesque R. Reiter Proceedings of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'89) 1989 Morgan Kaufmann Los Altos 421 431
46. M.K. Smith, C. Welty, D.L. McGuinness, OWL web ontology language guide, W3C Recommendation, 10 February 2004, Available at http://www.w3.org/TR/owl- guide/.
47. K. Spackman, Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with snomed-rt, J. Am. Med. Informatics Ass. (2000) (Fall Symposium Special Issue).
48. G. Sutcliffe, C. Suttner, The TPTP Problem Library. TPTP v. 2.4.1, Technical report, University of Miami, 2001.
49. T. Tammet Gandalf J. Automated Reasoning 18 2 1997 199 204
50. The DAML Services Coalition. Daml-s: Semantic markup for web services, May 2003, Available at http://www.daml.org/services/daml-s/0.9/daml-s.html.
51. Extensible Markup Language (XML) 1.0 (second ed.), W3C Recommendation, 6 October 2000, Available at http://www.w3.org/TR/REC-xml.
52. S. Tobies, Complexity Results and Practical Algorithms for Logics in Knowledge Representation, Ph.D. thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 2001.
53. D. Tsarkov, I. Horrocks, DL reasoner vs. first-order prover, in: Proceedings of the 2003 Description Logic Workshop (DL 2003), vol. 81, CEUR (http://ceur-ws.org/ ), pp. 152-159, 2003.
54. D. Tsarkov, A. Riazanov, S. Bechhofer, and I. Horrocks Using Vampire to reason with OWL S.A. McIlraith D. Plexousakis F. van Harmelen Proceedings of the 2004 International Semantic Web Conference (ISWC 2004) Lecture Notes in Computer Science vol. 3298 2004 Springer 471 485