A proposal for an OWL rules language

Thirteenth International World Wide Web Conference Proceedings, WWW2004

Volumn , Issue , 2004, Pages 723-731

  Horrocks, Ian ^a   Patel Schneider, Peter F ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Model theoretic semantics; Representation; Semantic Web

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INFORMATION SERVICES; MEDICAL COMPUTING; SEMANTICS; SYNTACTICS; XML;

MODEL-THEORETIC SEMANTICS; SEMANTIC WEB; SYNTATIC RESTRICTION; WEB ONTOLOGY LANGUAGE;

WORLD WIDE WEB;

EID: 19944372098     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/988672.988771     Document Type: Conference Paper

References (31)

1. F. Baader and U. Sattler. Number restrictions on complex roles in description logics: A preliminary report. In Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'96), pages 328-338, 1996.
2. R. Berger. The undecidability of the dominoe problem. Mem. Amer. Math. Soc., 66:1-72, 1966.
3. T. Berners-Lee. Semantic web roadmap, 1998. Available at http://www.w3.org/DesignIssues/Semantic.
4. A. Borgida and P. F. Patel-Schneider. A semantics and complete algorithm for subsumption in the CLASSIC description logic. J. of Artificial Intelligence Research, 1:277-308, 1994.
5. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In Proc. of the Twelfth International World Wide Web Conference (WWW2003), pages 48-57. ACM, 2003.
6. P. Hayes. RDF model theory. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/rdf-mt/.
7. L. Hollink, G. Schreiber, J. Wielemaker, and B. Wielinga. Semantic annotation of image collections. In Workshop on Knowledge Markup and Semantic Annotation, KCAP'03, 2003. Available at http ://~www.cs.vu.ni/~guus/papers/ Hollink03c.pdf.
8. M. Hori, J. Euzenat, and 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/.
9. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(l):7-26, 2003.
10. I. Horrocks and U. Sattler. The effect of adding complex role inclusion axioms in description logics. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 343-348. Morgan Kaufmann, Los Altos, CA, 2003.
11. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer, 1999.
12. G. Klyne and 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/.
13. A. Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998.
14. J. W. Lloyd. Foundations of logic programming (second, extended edition). Springer series in symbolic computation, Springer-Verlag, New York, 1987.
15. D. V. McDermott and D. Dou. Representing disjunction and quantifiers in rdf. In Proc. of the 2002 International Semantic Web Conference (ISWC 2002), volume 2342 of Lecture Notes in Computer Science, pages 250-263. Springer, 2002.
16. L. Padgham and P. Lambrix. A framework for Part-of hierarchies in terminological logics. In Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'94), pages 485-496, 1994.
17. J. Pan and I. Horrocks. Web ontology reasoning with datatype groups. In D. Fensel, K. Sycara, and J. Mylopoulos, editors, Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in Lecture Notes in Computer Science, pages 47-63. Springer, 2003.
18. P. F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL web ontology language semantics and abstract syntax. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/owl-semantics/.
19. 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):108-113, 1991.
20. A. Rector. Analysis of propagation along transitive roles: Formalisation of the galen experience with medical ontologies. In Proc. of DL 2002. CEUR (http://ceur-ws.org/), 2002.
21. A. Rector, S. Bechhofer, C. A. Goble, I. Horrocks, W. A. Nowlan, and W. D. Solomon. The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine, 9:139-171, 1997.
22. A. Rector and I. Horrocks. Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In Proc. of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97), 1997.
23. A. Riazanov and A. Voronkov. The Design and Implementation of Vampire. AI Communications, 15(2-3):91-110, 2002.
24. U. Sattler. Description logics for the representation of aggregated objects. In Proc. of ECA1 2000. IOS Press, 2000.
25. M. Schmidt-Schauß. Subsumption in KL-ONE is undecidable. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'89), pages 421-431. Morgan Kaufmann, Los Altos, CA, 1989.
26. M. K. Smith, C. Welty, and D. L. McGuinness. OWL web ontology language guide. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/ owl-guide/.
27. K. Spackman. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. J. of the Amer. Med. Informatics Ass., 2000. Fall Symposium Special Issue.
28. 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.
29. Extensible Markup Language (XML) 1.0 (Second Edition).
30. W3C Recommendation, 6 October 2000. Available at http://www.wS.org/TR/ REC-xml.
31. D. Tsarkov and I. Horrocks. DL reasoner vs. first-order prover. In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 152-159, 2003.