Implementing and evaluating a rule-based approach to querying regular ε£+ ontologies

Proceedings - 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009

Volumn 3, Issue , 2009, Pages 493-498

  Zhao, Yuting ^a   Pan, Jeff Z ^a   Ren, Yuan ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; LOGIC PROGRAMS; ONTOLOGY LANGUAGE; PSEUDO-MODELS; QUERY ANSWERING; RULE-BASED APPROACH; SET OF RULES;

DATA DESCRIPTION; INTELLIGENT SYSTEMS; LOGIC PROGRAMMING; MODEL CHECKING;

ONTOLOGY;

EID: 70450183807     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HIS.2009.314     Document Type: Conference Paper

References (18)

1. F. Baader, S. Brandt, and C. Lutz. Pushing the el envelope further. In K. Clark and P. F. Patel-Schneider, editors, In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
2. F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL - a polynomial-time reasoner for life science ontologies. In Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), pages 287-291, 2006.
3. F. Baader, C. Lutz, and B. Suntisrivaraporn. Is tractable reasoning in extensions of the description logic ε£ useful in practice? In Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), 2007. To appear.
4. F. Baader, D. L. McGuiness, D. Nardi, and P. Patel-Schneider, editors. Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, 2002.
5. Y. Guo, Z. Pan, and J. Heflin. LUBM: A benchmark for owl knowledge base systems. Web Semantics: Science, Services and Agents on the World Wide Web, 3(2-3):158-182, October 2005.
6. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule Language - Combining OWL and RuleML. W3C Member Submission, http://www.w3.org/Submission/SWRL/, May 2004.
7. U. Hustadt, B. Motik, and U. Sattler. Data Complexity of Reasoning in Very Expressive Description Logics. In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pages 466-471, 2005.
8. Y. Kazakov. Saturation-Based Decision Procedures for Extensions of the Guarded Fragment. PhD thesis, Uni-versitt des Saarlandes, Germany, 2005.
9. M. Krötzsch, S. Rudolph, and P. Hitzler. Conjunctive queries for a tractable fragment of owl 1.1. In K. Aberer, K.-S. Choi, N. F. Noy, D. Allemang, K.-I. Lee, L. J. B. Nixon, J. Golbeck, P. Mika, D. Maynard, R. Mizoguchi, G. Schreiber, and P. Cudré-Mauroux, editors, ISWC/ASWC, volume 4825 of Lecture Notes in Computer Science, pages 310-323. Springer, 2007.
10. M. Krtzsch, S. Rudolph, and P. Hitzler. Elp: Tractable rules for owl 2. In A. Sheth, S. Staab, M. Dean, M. Paolucci, D. Maynard, T. Finin, and K. Thirunarayan, editors, The Semantic Web-ISWC 2008, 7th International Semantic Web Conference, volume 5318 of Lecture Notes in Computer Science, pages 649-664, 2008.
11. C. Lutz, D. Toman, and F. Wolter. Conjunctive query answering in ε£ using a database system. In In Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions, 2008.
12. J. Z. Pan. Description Logics: Reasoning Support for the Semantic Web. PhD thesis, School of Computer Science, The University of Manchester, 2004.
13. P. F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL Web Ontology Language Semantics and Abstract Syntax. Technical report, W3C, Feb. 2004. W3C Recommendation.
14. H. Pérez-Urbina, B. Motik, and I. Horrocks. Rewriting Conjunctive Queries under Description Logic Constraints. In Proc. of the Int. Workshop on Logics in Databases (LID 2008), Rome, Italy, May 2008. To appear.
15. A. Rector and I. Horrocks. Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In Procedings of AAAI Conference, 1997.
16. R. Rosati. On conjunctive query answering in el. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, and S. Tessaris, editors, Description Logics, volume 250 of CEUR Workshop Proceedings. CEUR-WS.org, 2007.
17. K. Spackman. Manageing Clinical Terminology Hierarchies Using Algorithmic Calculation of Sybsupmtion: Experience with SNOMED-RT. J. of the Amer. Med. Informatics Ass., 2000. Fall Symposium Special Issue.
18. Y. Zhao, J. Pan, and Y. Ren. A rule-based approach to querying regular ε£+ ontologies. Technical report, University of Aberdeen, 2009.