Combining a DL reasoner and a rule engine for improving entailment-based OWL reasoning

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

Volumn 5318 LNCS, Issue , 2008, Pages 277-292

  Meditskos, Georgios ^a   Bassiliades, Nick ^a  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

Author keywords

DL reasoning; Entailment rules; Hybrid and homogeneous Systems; Rule engines; Rule based OWL reasoning

Indexed keywords

BIRDS; ENGINES; ONTOLOGY;

DL REASONING; ENTAILMENT RULES; HOMOGENEOUS SYSTEM; RULE BASED; RULE ENGINE;

SEMANTIC WEB;

EID: 57549095614     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88564-1_18     Document Type: Conference Paper

References (46)

1. Antoniou, G., Damasio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies, REWERSE Deliverables, REWERSE-DEL-2005-I3-D3 (2005)
2. Baader, F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge
3. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69(1), 5-40
4. de Bruijn, J., Lara, R., Polleres, A., Fensel, D.: OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web. In: International Conference on World Wide Web, pp. 623-632. ACM Press, New York (2005)
5. ndASWC), pp. 86-99. Springer, Heidelberg (2007)
6. Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Intelligent and Cooperative Information Systems, 227-252 (1998)
7. Drabent, W., Henriksson, J., Maluszynski, J.: HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. In: Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, CEUR-WS, vol. 287, pp. 76-90 (2007)
8. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. Knowledge Representation and Reasoning, 141-151 (2004)
9. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: NLP-DL: A Knowledge-Representation System for Coupling Nonmonotonic Logic Programs with Description Logics. In: International Semantic Web Conference, Galway, Ireland (2005)
10. Grant, J., Beckett, D.: RDF Test Cases (2004), http://www.w3.org/TR/rdf- testcases/
11. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW, pp. 48-57. ACM Press, New York (2003)
12. Haarslev, V., Moller, R.: Racer: A Core Inference Engine for the Semantic Web. In: International Workshop on Evaluation of Ontology-based Tools, pp. 27-36 (2003)
13. Haarslev, V., Moller, R.: An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. Description Logics, 22 (1999)
14. Hayes, P.: RDF Semantics (2004), http://www.w3.org/TR/rdf-mt/
15. Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. Description Logics, 104, 31-40 (2004)
16. Horst, H.J.: Extending the RDFS Entailment Lemma. In: Proceedings of the International Semantic Web Conference, pp. 77-91. Springer, Heidelberg (2004)
17. Horst, H.J.: Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary. Journal of Web Semantics 3(2-3), 79-115 (2005)
18. Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ- Description Logic to Disjunctive Datalog Programs. Knowledge Representation and Reasoning, Canada, pp. 152-162 (2004)
19. KAON2, http://kaon2.semanticweb.org/
20. Kattenstroth, H., May, W., Schenk, F.: Combining OWL with F-Logic Rules and Defaults, Applications of Logic Programming to the Web. In: Semantic Web and Semantic Web Services. CEUR-WS, vol. 287, pp. 60-75 (2007)
21. Kiryakov, A., Ognyanov, D., Manov, F.: OWLIM - A Pragmatic Semantic Repository for OWL. In: Scalable Semantic Web Knowledge Base Systems, pp. 182-192. Springer, Heidelberg (2005)
22. Jess, http://herzberg.ca.sandia.gov/
23. Kopena, J.: OWLJessKB, http://edge.cs.drexel.edu/assemblies/software/ owljesskb/
24. Levy, A.Y., Rousset, M.: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence 104(1-2), 165-209 (1998)
25. Li, H., Wang, Y., Qu, Y., Pan, J.Z.: A Reasoning Algorithm for pD*. In: 1st Asian Semantic Web Conference, pp. 293-299. Springer, Heidelberg (2006)
26. Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a Complete OWL Ontology Benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125-139. Springer, Heidelberg (2006)
27. Matheus, C., Dionne, B., Parent, D., Baclawski, K., Kokar, M.: BaseVISor: A Forward-Chaining Inference Engine Optimized for RDF/OWL Triples. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, Springer, Heidelberg (2006)
28. McBride, B.: Jena, Implementing the RDF Model and Syntax Specification. In: International Workshop on the Semantic Web, CEUR-WS, vol. 40 (2001)
29. McGuinness, D.L., Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation, http://www.w3.org/TR/owl-features/
30. Meditskos, G., Bassiliades, N.: Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments. In: 18th European Conference on Artificial Intelligence (ECAI), pp. 731-732. IOS Press, Patras (2008)
31. Meditskos, G., Bassiliades, N.: A Rule-Based Object-Oriented OWL Reasoner. IEEE Transactions on Knowledge and Data Engineering 20(3), 397-410 (2008)
32. Mei, J., Lin, Z., Boley, H.: ALC: An Integration of Description Logic and General Rules. In: Proceedings of the Web Reasoning and Rule Systems, pp. 163-177. Springer, Heidelberg (2007)
33. Minsu, J., Sohn, J.C.: Bossam: An Extended Rule Engine for OWL Inferencing. In: Rules and Rule Markup Languages for the Semantic Web, pp. 128-138 (2004)
34. Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After? In: International Semantic Web Conference, pp. 501-514 (2006)
35. Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Logic for Programming Artificial Intelligence and Reasoning, pp. 227-241 (2006)
36. Owlgres, http://pellet.owldl.com/owlgres
37. Pan, J.Z., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: International Semantic Web Conference, pp. 30-46. Springer, Heidelberg (2003)
38. Patel-Schneider, P.F., Horrocks, I.: A Comparison of Two Modelling Paradigms in the Semantic Web. In: International Conference on World Wide Web, pp. 3-12. ACM Press, New York (2006)
39. Rosati, R.: Towards expressive KR systems integrating datalog and description logics. In: Workshop on Description Logics, CEUR-WS, vol. 22, pp. 160-164 (1999)
40. Rosati, R.: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. In: Proc. Principles and Practice of Semantic Web Reasoning, pp. 50-64 (2005)
41. Rosati, R.: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. In: Principles of Knowledge Representation and Reasoning, pp. 68-78. AAAI Press, Menlo Park (2006)
42. Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. ACM SIGMOD Record 23(2), 442-453 (1994)
43. Sesame, http://openrdf.org/
44. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics 5(2), 51-53 (2007)
45. Tsarkov, D., Horrocks, I.: Fact++ description logic reasoner: System description. In: Proceedings of Automated Reasoning, pp. 292-297. Springer, Heidelberg (2006)
46. Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Rules and Rule Markup Languages for the Semantic Web, pp. 170-181. Springer, Heidelberg (2004)