A comparison of two modelling paradigms in the Semantic Web

Web Semantics

Volumn 5, Issue 4, 2007, Pages 240-250

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

^a Bell Laboratories UK   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Logic; Modelling; OWL; RDF; Semantic Web

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FORMAL LOGIC;

DATALOG; OWL; RDF;

SEMANTIC WEB;

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

References (34)

1. Baader F., Horrocks I., and Sattler U. Description logics. In: Staab S., and Studer R. (Eds). Handbook on Ontologies, International Handbooks on Information Systems (2004), Springer 3-28
2. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L.A. Stein, OWL Web Ontology Language reference. W3C Recommendation, February 10, 2004, Available at http://www.w3.org/TR/owl-ref/.
3. Berners-Lee T., Hendler J., and Lassila O. The semantic Web. Sci. Am. 284 5 (2001) 34-43
4. D. Brickley, R.V. Guha, RDF vocabulary description language 1.0: RDF schema. W3C Recommendation, February 10, 2004, Available at http://www.w3.org/TR/rdf-schema/.
5. J. de Bruijn, A. Polleres, R. Lara, D. Fensel, OWL DL vs. OWL Flight: conceptual modeling and reasoning for the semantic web, in: Proceedings of the Fourteenth International World Wide Web Conference (WWW 2005), 2005.
6. Donini F.M., Lenzerini M., Nardi D., Nutt W., and Schaerf A. Adding epistemic operators to concept languages. Proceedings of the 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR'92) (1992), Morgan Kaufmann, Los Altos 342-353
7. Donini F.M., Lenzerini M., Nardi D., and Schaerf A. A L-Log: integrating Datalog and description logics. J. Intell. Inf. Syst. 10 3 (1998) 227-252
8. Donini F.M., Nardi D., and Rosati R. Autoepistemic description logics. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97) (1997) 136-141
9. Donini F.M., Nardi D., and Rosati R. Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3 2 (2002) 177-255
10. Eiter T., Gottlob G., and Mannilla H. Disjunctive Datalog. ACM Trans. Database Syst. 22 3 (1997) 364-418
11. Eiter T., Lukasiewicz T., Schindlauer R., and Tompits H. Combining answer set programming with description logics for the semantic web. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004) (2004), Morgan Kaufmann, Los Altos 141-151
12. E. Franconi, S. Tessaris, Rules and queries with ontologies: a unified logical framework, in: H.J. Ohlbach, S. Schaffert (Eds.), Principles and Practice of Semantics Web Reasoning: Second International Workshop, number 3208 in Lecture Notes in Computer Science, Springer, 2004, pp. 50-60.
13. Van Gelder A., Ross K., and Schlipf J.S. The well-founded semantics for general logic programs. J. ACM 38 3 (1991) 620-650
14. Gelfond M., and Lifschitz V. Classical negation in logic programs and disjunctive databases. New Gen. Comput. 9 3/4 (1991)
15. B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: combining logic programs with description logic, in: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), ACM, 2003, pp. 48-57.
16. V. Haarslev, R. Möller, Expressive abox reasoning with number restrictions, role hierarchies, and transitively closed roles, Technical Report FBI-HH-M-288/99, University of Hamburg, Computer Science Department, 1999.
17. P. Hayes, RDF model theory. W3C Recommendation, February 10, 2004. Available at http://www.w3.org/TR/rdf-mt/.
18. Horrocks I., and Patel-Schneider P. Reducing OWL entailment to description logic satisfiability. J. Web Semantics 1 4 (2004) 345-357
19. Hustadt U., Motik B., and Sattler U. Reducing SHIQ-description logic to disjunctive datalog programs. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004) (2004) 152-162
20. Kalyanpur A., Parsia B., and Hendler J. A tool for working with web ontologies. Int. J. Semantic Web Inf. Syst. 1 1 (2005) 36-49
21. Y. Kazakov, B. Motik, A resolution-based decision procedure for S H O I Q, in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, Springer, 2006, pp. 662-677.
22. H. Knublauch, R. Fergerson, N. Noy, M. Musen, The Protégé OWL Plugin: an open development environment for semantic web applications, in: S.A. McIlraith, D. Plexousakis, F. van Harmelen (Eds.), Proceedings of the 3rd International Semantic Web Conference (ISWC 2004), number 3298 in Lecture Notes in Computer Science, Springer, 2004, pp. 229-243.
23. Krötzsch M., Rudolph S., and Hitzler P. Complexity boundaries for horn description logics. Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI-07) (2007), AAAI Press/The MIT Press 452-457
24. O. Lassila, R.R. Swick, Resource description framework (RDF) model and syntax specification. W3C Recommentation, February 1999, Available at http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/.
25. Levy A.Y., and Rousset M.-C. CARIN: a representation language combining Horn rules and description logics. Proceedings of the 12th Eur. Conference on Artificial Intelligence (ECAI'96) (1996) 323-327
26. Lifschitz V. Nonmonotonic databases and epistemic queries. Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91) (1991) 381-386
27. Lloyd J.W. Foundations of Logic Programming. Second Extended Edition (1987), Springer, Berlin, Heidelberg
28. F. Manola, E. Miller, RDF primer. W3C Recommendation, February 10, 2004, Available at http://www.w3.org/TR/rdf-primer/.
29. Motik B., Sattler U., and Studer R. Query answering for OWL-DL with rules. Proceedings of the 3rd International Semantic Web Conference (ISWC 2004) (2004) 549-563
30. B. Motik, Reasoning in Description Logics using Resolution and Deductive Databases, Ph.D. Thesis, Univesität Karlsruhe (TH), Karlsruhe, Germany, January 2006.
31. P.F. Patel-Schneider, P. Hayes, I. Horrocks, OWL Web Ontology Language semantics and abstract syntax. W3C Recommendation, February 10, 2004, Available at http://www.w3.org/TR/owl-semantics/.
32. Rosati R. On the decidability and complexity of integrating ontologies and rules. J. Web Semantics 3 1 (2005) 61-73
33. J.D. Ullman, Principles of Database and Knowledge Base Systems, vol. 1, Computer Science Press, Potomac, Maryland, 1988.
34. R. Volz, Web Ontology Reasoning with logic databases, Ph.D. Thesis, Universitaet Karlsruhe (TH), Knowledge Management group, institute AIFB, 76128 Karlsruhe, Germany, February 2004.