Ontology query answering on databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4273 LNCS, Issue , 2006, Pages 445-458

  Mei, Jing ^a,b   Ma, Li ^b   Pan, Yue ^b  

^a PEKING UNIVERSITY   (China)

^b IBM CHINA RESEARCH LAB   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATA STRUCTURES; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES; SEMANTICS; WORLD WIDE WEB;

EPISTEMIC OPERATORS; OWL ONTOLOGIES; QUERY ANSWERING; SEMANTIC WEB;

DATABASE SYSTEMS;

EID: 33845431598     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11926078_32     Document Type: Conference Paper

References (29)

1. The XSB System Version 2.7.1 Volume 1: Programmer's Manual.
2. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
3. François Bancilhon, David Maier, Yehoshua Sagiv, and Jeffrey D. Ullman. Magic Sets and Other Strange Ways to Implement Logic Programs. In Proceedings of the 5th ACM Symposium on Principles of Database Systems, pages 1-15, 1986.
4. Sean Bechhofer, Ian Horrocks, and Daniele Turi. The OWL Instance Store: System Description. In Proceedings of CADE-20, LNCS 3632, pages 177-181, 2005.
5. Francois Bry, Norbert Eisinger, Heribert Schutz, and Sunna Torge. SIC: Satisfiability Checking for Integrity Constraints. In Proceeding of Deductive Databases and Logic Programming, pages 25-36, 1998.
6. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. DL-Lite: Tractable Description Logics for Ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence, pages 602-607, 2005.
7. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 33(3):374-425, 2001.
8. Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. In Proceedings of KSEM, LNCS 4092, pages 1-22, 2006.
9. Jos de Bruijn, Axel Polleres, Rubén Lara, and Dieter Fensel. OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning on the Semantic Web. In Proceedings of the 14th International World Wide Web Conference, Chiba, Japan, 2005. ACM.
10. Francesco M. Donini, Daniele Nardi, and Riccardo Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2):177-225, 2002.
11. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In Proceedings of ESWC, LNCS 4011, pages 273-287, 2006.
12. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs; Combining Logic Programs with Description Logic. In Proceedings of the 12th International World Wide Web Conference, pages 48-57. ACM, 2003.
13. Ian Horrocks, Ulrike Sattler, and Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. LTCS-Report 99-08, RWTH Aachen, Germany, 1999.
14. Ian Horrocks and Sergio Tessaris. Querying the Semantic Web: a Formal Approach. In Proceedings of ISWC, LNCS 2342, pages 177-191, 2002.
15. Atanas Kiryakov, Damyan Ognyanov, and Dimitar Manov. OWLIM: A Pragmatic Semantic Repository for OWL. In Proceeding of International Workshop on WISE, LNCS 3807, pages 182-192, 2005.
16. Li Ma, Yang Yang, Zhaomin Qiu, Guotong Xie, Yue Pan, and ShengPing Liu. Towards A Complete OWL Ontology Benchmark. In Proceedings of ESWC, LNCS 4011, pages 124-139, 2006.
17. Jing Mei, Elena Paslaru Bontas, and Zuoquan Lin. OWL2Jess: A Transformational Implementation of the OWL Semantics. In Proceedings of International Workshops on ISPA, LNCS 3759, pages 599-608, 2005.
18. Boris Motik and Riccardo Rosati. Closing Semantic Web Ontologies. Technical report, University of Karlsruhe, May 2006. http://kaon2.semanticweb. org/.
19. Boris Motik, Ulrike Sattler, and Rudi Studer. Query Answering for OWL-DL with Rules. Journal of Web Semantics, 3(1):41-60, 2005.
20. Zhengxiang Pan and Jeff Heflin. DLDB: Extending Relational Databases to Support Semantic Web Queries. In Practical and Scalable Semantic Systems, 2003.
21. Kotagiri Ramamohanarao and James Harland. An introduction to deductive data-base languages and systems. The VLDB Journal, 3(2):107-122, 1994.
22. Edna Ruckhaus, Eduardo Ruiz, and Maria-Esther Vidal. Query Evaluation and Optimization in the Semantic Web. In Proc. of ALPSWS, 2006.
23. Terrance Swift. Deduction in Ontologies via ASP. In Proceedings of Logic Programming and Nonmonotonic Reasoning, LNCS 2923, 2004.
24. W3C. OWL: Web Ontology Language. http://www.w3.org/TR/owl-absyn/.
25. W3C. Resource Description Framework (RDF): Concepts and Abstract Syntax. http://www.w3.org/TR/rdf-concepts/.
26. W3C. Rule Interchange Format WG. http://www.w3.org/2005/rules/wg.
27. W3C. SPARQL Query Language. http://www.w3.org/TR/rdf-sparql-query/.
28. W3C. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. http://www.w3.org/Submission/SWRL/.
29. Jian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu, and Yue Pan. Minerva: A Scalable OWL Ontology Storage and Inference System. In Proceedings of Asia Semantic Web Conference, To appear, 2006.