Abstract
The paper presents an architecture and implementation techniques for hybrid integration of normal clauses under well-founded semantics with ontologies specified in Description Logics. The described prototype uses XSB Prolog both for rule reasoning and for controlling communication with the ontology reasoner RacerPro. The query answering techniques for hybrid rules implemented in this prototype are sound wrt. the declarative semantics, extending the well-founded semantics of normal programs and are faithful wrt. FOL.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Drabent, W., Maluszynski, J.: Well-founded semantics for hybrid rules. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. Proc. of International Conference on Web Reasoning and Rule Systems. LNCS, vol. 4524, Springer, Heidelberg (to appear, 2007)
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)
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)
Haarslev, V., et al.: RacerPro. WWW Page (Accessed February 10, 2007) http://www.racer-systems.com/products/racerpro/
Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. J. of Web Semantics 3, 41–60 (2005)
Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: KR, pp. 68–78 (2006)
XSB: WWW Page (Accessed February 7, 2007) http://xsb.sourceforge.net/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Drabent, W., Henriksson, J., Małuszyński, J. (2007). Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)