Hybrid reasoning with rules and constraints under well-founded semantics

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

Volumn 4524 LNCS, Issue , 2007, Pages 348-357

  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

COMPUTER ARCHITECTURE; CONSTRAINT THEORY; LOGIC PROGRAMMING; SEMANTICS;

DESCRIPTION LOGICS; HYBRID INTEGRATION; HYBRID REASONING; XSB PROLOG;

CASE BASED REASONING;

EID: 38149034477     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_29     Document Type: Conference Paper

References (8)

1. Aßmann, U., Henriksson, J., Maluszynski, J.: Combining safe rules and ontologies by interfacing of reasoners. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 33-47. Springer, Heidelberg (2006)
2. Drabent, W., Maluszynski, J.: Well-founded semantics for hybrid rules. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, Springer, Heidelberg (To appear 2007)
3. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Proc. of European Semantic Web Conference, pp. 273-287 (2006)
4. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: RuleML, pp. 81-97 (2004)
5. Haarslev, V., et al.: RacerPro. WWW Page, http://www.racer-systems.com/ products/racerpro/ Accessed (February 10 2007)
6. Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. J. of Web. Semantics 3, 41-60 (2005)
7. Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: KR, pp. 68-78 (2006)
8. XSB. WWW Page. http://xsb.sourceforge.net/ Accessed (February 7 2007)