The datalogDL combination of deduction rules and description logics

Computational Intelligence

Volumn 23, Issue 3, 2007, Pages 356-372

  Mei, Jing ^a   Lin, Zuoquan ^a   Boley, Harold ^c   Li, Jie ^c   Bhavsar, Virendrakumar C ^b  

^a PEKING UNIVERSITY   (China)

^b UNIVERSITY OF NEW BRUNSWICK   (Canada)

^c NONE

Author keywords

Datalog; Description logic; Hybrid rules; SLD resolution; Tableaux algorithms

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PARAMETERIZATION; SEMANTIC WEB;

DATALOG; DESCRIPTION LOGIC; HYBRID RULES; SLD-RESOLUTION; TABLEAUX ALGORITHMS;

ONTOLOGY;

EID: 34547267253     PISSN: 08247935     EISSN: 14678640     Source Type: Journal    
DOI: 10.1111/j.1467-8640.2007.00311.x     Document Type: Article

References (26)

1. Baader, F., D. Calvanese, D. Mcguinness, D. Nardi, and P. Patel-Schneider. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press : Cambridge, MA.
2. Ball, M., H. Boley, D. Hirtle, J. Mei, and B. Spencer. 2005. The OO jDREW Reference Implementation of RuleML. In Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML), LNCS 3791, pp. 218 223, Springer, Heidelberg, Germany.
3. Boley, H., and M. Kifer. 2007. RIF Core Design. W3C Working Draft 30 March 2007. http://www.w3.org/TR/rif-core.
4. Dantsin, E., T. Eiter, G. Gottlob, and A. Voronkov. 2001. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 33 (3 374 425.
5. Donini, F. M., M. Lenzerini, D. Nardi, and A. Schaerf. 1998. AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems (JIIS), 10 (3 227 252.
6. Eiter, T., T. Lukasiewicz, R. Schindlauer, and H. Tompits. 2004. Combining Answer Set Programming with Description Logics for the Semantic Web. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 141 151, AAAI Press, Menlo Park, CA.
7. Eiter, T., G. Ianni, R. Schindlauer, and H. Tompits. 2006. Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In Proceedings of 3rd European Semantic Web Conference, LNCS 4011, pp. 273 287, Springer, Heidelberg, Germany.
8. Grosof, B. N., I. Horrocks, R. Volz, and S. Decker. 2003. Description Logic Programs: Combining Logic Programs with Description Logic. In Proceedings of the 12th International World Wide Web Conference (WWW), pp. 48 57, ACM, New York.
9. Haarslev, V., and R. Moller. 2001. RACER System Description. In Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR), LNCS 2083, pp. 701 706, Springer, Heidelberg, Germany.
10. Horrocks, I., and S. Tessaris. 2002. Querying the Semantic Web: A Formal Approach. In Proceedings of the 1st International Semantic Web Conference (ISWC), LNCS 2342, pp. 177 191, Springer, Heidelberg, Germany.
11. Horrocks, I., U. Sattler, and S. Tobies. 1999. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. LTCS-Report 99-08, RWTH Aachen, Germany.
12. Horrocks, I., P. Patel-Schneider, S. Bechhofer, and D. Tsarkov. 2005a. OWL Rules: A Proposal and Prototype Implementation. Journal of Web Semantics, 3 (1 23 40.
13. Horrocks, I., B. Parsia, P. Patel-Schneider, and J. Hendler. 2005b. Semantic Web Architecture: Stack or Two Towers In Proceedings of the 3rd International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR), LNCS 3703, pp. 37 41, Springer, Heidelberg, Germany.
14. Kifer, M., J. De-Bruijn, H. Boley, and D. Fensel. 2005. A Realistic Architecture for the Semantic Web. In Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML), LNCS 3791, pp. 17 29, Springer, Heidelberg, Germany.
15. Levy, A. Y., and M.-C. Rousset. 1998. Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104 (1-2 165 209.
16. Li, J., H. Boley, V. C. Bhavsar, and J. Mei. 2006a. Expert Finding for eCollaboration Using FOAF with RuleML Rules. In Proceedings of the Montreal Conference on Technologies, pp. 53 65.
17. Li, J., H. Boley, V. C. Bhavsar, D. Hirtle, and J. Mei. 2006b. RuleML FOAF. http://www.ruleml.org/usecases/foaf.
18. Lloyd, J. W. 1987. Foundations of Logic Programming (2nd, extended ed.). Springer-Verlag : Heidelberg, Germany.
19. Mei, J. 2005. Hybrid Rules in OO jDREW. http://www.jdrew.org/oojdrew/exa/ hybridrules.html.
20. Mei, J., H. Boley, J. LI, V. C. Bhavsar, and Z. Lin. 2006. Datalog DL : Datalog Rules Parameterized by Description Logics. In Canadian Semantic Web, Vol. 2 of Semantic Web and Beyond, pp. 171 188.
21. Mei, J., Z. Lin, and H. Boley. 2007. : An Integration of Description Logic and General Rules. In Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR 2007), LNCS4524. Springer, Heidelberg, Germany.
22. Motik, B., U. Sattler, and R. Studer. 2005. Query Answering for OWL-DL with rules. Journal of Web Semantics, 3 (1 41 60.
23. OWL, W3C. 2004. OWL: Web Ontology Language Semantics and Abstract Syntax. http://www.w3.org/TR/owl-absyn/.
24. RIF, W3C. 2005. Rule Interchange Format Working Group. http://www.w3.org/2005/rules/wg.html.
25. Rosati, R. 2005. On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics, 3 (1 61 73.
26. Rosati, R. 2006. DL+log: Tight Integration of Description Logics and Disjunctive Datalog. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 68 78, AAAI Press, Menlo Park, CA.