HD-rules: A hybrid system interfacing prolog with DL-reasoners

CEUR Workshop Proceedings

Volumn 287, Issue , 2007, Pages 76-90

  Drabent, Włodzimierz ^a,c   Henriksson, Jakob ^b   Małuszyński, Jan ^c  

^a INSTITUTE OF COMPUTER SCIENCE   (Poland)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^c LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; HYBRID INTEGRATION; IMPLEMENTATION TECHNIQUES; ONTOLOGY REASONINGS; PROTOTYPE SYSTEM; REASONERS; RULE REASONING; WELL FOUNDED SEMANTICS;

BIRDS; FORMAL LANGUAGES; HYBRID SYSTEMS; LOGIC PROGRAMMING; XML;

DATA DESCRIPTION;

EID: 70549090946     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J. H. Siekmann. Concept logics. Technical Report RR-90-10, 1990.
2. F. Baader, D. Calvanese, and D. McGuiness(et.al.), editors. The Description Logic Handbook. Cambridge University Press, 2003.
3. DIG. WWW Page. URL: http://dig.sourceforge.net/. Accessed 7 February 2007.
4. W. Drabent. What is failure? An approach to constructive negation. Acta Informatica, 32(1):27-59, Feb. 1995.
5. W. Drabent, J. Henriksson, and J. Maluszynski. Hybrid reasoning with rules and constraints under well-founded semantics. In Web Reasoning and Rule Systems, Proceedings RR 2007, volume 4524 of Lecture Notes in Computer Science, pages 348-357. Springer-Verlag, 2007.
6. W. Drabent and J. Maluszynski. Well-founded semantics for hybrid rules. In Web Reasoning and Rule Systems, Proceedings RR 2007, volume 4524 of Lecture Notes in Computer Science, pages 1-15. Springer-Verlag, 2007.
7. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. Effective integration of declarative rules with external evaluations for semantic-web reasoning. In Proc. of European Semantic Web Conference, pages 273-287, 2006. (Pubitemid 44071165)
8. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-founded semantics for description logic programs in the semantic web. In RuleML, pages 81-97, 2004.
9. 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.
10. Jena Semantic Web Framework. WWWPage, 18 August 2005. Available at http://jena. sourceforge.net/. Accessed 7 February 2007.
11. Miguel Calejo. InterProlog - a Prolog-Java interface. WWW page, September 2006. Available at http://www.declarativa.com/interprolog/.Accessed 7 February 2007.
12. Pellet OWL Reasoner. WWWPage, 14 March 2006. Available at http://www.mindswap.org/2003/pellet/index.shtml.
13. R. Rosati. Dl+log: Tight integration of description logics and disjunctive datalog. In KR, pages 68-78, 2006.
14. XSB. WWW Page. URL: http://xsb.sourceforge.net/.Accessed 7 February 2007.