Combining safe rules and ontologies by interfacing of reasoners

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

Volumn 4187 LNCS, Issue , 2006, Pages 33-47

  Aßmann, Uwe ^a   Henriksson, Jakob ^a   Małuszyński, Jan ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INTERFACES (COMPUTER); SOFTWARE PROTOTYPING;

CONSTRAINT LANGUAGES; DATALOG; REASONERS; RULE LANGUAGES;

FORMAL LANGUAGES;

EID: 33845207240     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11853107_3     Document Type: Conference Paper

References (26)

1. DIG Interface. WWW Page, 14 March 2006. Available at http://dig. sourceforge.net/.
2. XSB. WWW Page, 14 March 2006. Available at http://xsb.sourceforge.net/.
3. G. Antoniou. Nonmonotonic rule systems using ontologies. In Proc. Intl. Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 2002.
4. K. Apt and R. Bol. Logic programming and negation: A survey. J. of Logic Programming, 19/20:9-71, 1994.
5. F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J. H. Siekmann. Concept logics. Technical Report RR-90-10, 1990.
6. F. Baader, D. Calvanese, and D. McGuiness(et.al.), editors. The Description Logic Handbook. Cambridge University Press, 2003.
7. T. Berners-Lee. Semantic web tower. WWW Page. Available at http://www.w3. org/2001/09/06-ecdl/slide17-0.html
8. F. Bry and S. Schaffert. The XML query language Xcerpt: Design principles, examples, and semantics. In Web and Databases, Proc of the 2nd Int. Workshop, LNCS2593. Springer Verlag, 2002.
9. Diego Calvanese and De Giacomo, Giuseppe and Domenico Lembo and Maurizio Lenzerini and Riccardo Rosati and Guido Vetere. DL-lite: Practical Reasoning for Rich DLs. In Proceedings of the 2004 Description Logic Workshop (DL 2004). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-104, 2004.
10. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-Log: Integrating datalog and description logics. Intelligent Information Systems, 10(3):227-252, 1998.
11. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Proc. of the International Conference of Knowledge Representation and Reasoning (KR'04), 2004.
12. A. Frisch and A. Cohn. Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning. AI Mag., 11(5):77-83, 1991.
13. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. Bowen, editors, Proceedings of the Fifth International Conference on Logic Programming, pages 1070-1080, Cambridge, Massachusetts, 1988. The MIT Press.
14. B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In Proceedings of 12th International Conference on the World Wide Web, 2003.
15. Guido Governatori. Defeasible Description Logics. In RuleML, pages 98-112, 2004.
16. V. Haarslev. The New Racer Query Language - nRQL. PDF document. Available at www.cs.concordia.ca/~haarslev/racer/racer-queries.pdf.
17. V. Haarslev and R. Möller. Description of the RACER system and its applications. In DL2001 Workshop on Description Logics, Stanford, CA, 2001.
18. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pages 723-731. ACM, 2004.
19. I. Horrocks and S. Tessaris. A conjunctive query language for description logic aboxes. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pages 399-404. AAAI Press / The MIT Press, 2000.
20. Joxan Jaffar and Michael J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19/20:503-581, 1994.
21. Kewen Wang, David Billington, Jeff Blee and Grigoris Antoniou. Combining Description Logic and Defeasible Logic for the Semantic Web. In RuleML, pages 170-181, 2004.
22. Kewen Wang, Grigoris Antoniou, Rodney W. Topor and Abdul Sattar. Merging and Aligning Ontologies in dl-Programs. In RuleML, pages 160-171, 2005.
23. A. Levy and M. Rousset. CARIN: A representation language combining horn rules and description logics. Artificial Intelligence 104(1 2):165 209, 1998.
24. B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with Rules. J. of Web Semantics, 3:41-60, 2005.
25. R. Rosati. Semantic and computational advantages of the safe integration of ontologies and rules. In F. Fages and S. Soliman, editors, Principles and Practice of Semantic Web Reasoning, LNCS3703, pages 50-64. Springer Verlag, 2005.
26. S. Staab(ed.). Where are the rules. IEEE Intelligent Systems, pages 76-83, September/October 2003.