Abstract
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base concepts. For example, rules allow to define the extension of a class or property based on a complex relation between the extensions of the same or other classes and properties. On the other hand, the inclusion of negative information both in the form of negation-as-failure and explicit negative information is also needed to enable various forms of reasoning. In this paper, we extend RDF graphs with weak and strong negation, as well as derivation rules. The ERDF stable model semantics of the extended framework (Extended RDF) is defined, extending RDF(S) semantics. A distinctive feature of our theory, which is based on partial logic, is that both truth and falsity extensions of properties and classes are considered, allowing for truth value gaps. Our framework supports both closed-world and open-world reasoning through the explicit representation of the particular closed-world assumptions and the ERDF ontological categories of total properties and total classes.
This research has been partially funded by European Commission and by the Swiss Federal Office for Education and Science within the 6th Framework Programme project REWERSE number 506779 (www.rewerse.net).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Analyti, A., Antoniou, G., Damasio, C.V., Wagner, G.: Negation and Negative Information in the W3C Resource Description Framework. Annals of Mathematics, Computing & Teleinformatics (AMCT) 1(2), 25–34 (2004)
Berners-Lee, T.: Design issues - architectual and philosophical points. Personal notes (1998), Available at, http://www.w3.org/DesignIssues/
Franconi, E., Tessaris, S.: Rules and Queries with Ontologies: A Unified Logical Framework. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 50–60. Springer, Heidelberg (2004)
Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)
Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, Szeredi (eds.) 7th International Conference on Logic Programming, pp. 579–597. MIT Press, Cambridge (1990)
Hayes, P.: RDF Semantics. W3C Recommendation (February 10, 2004), Available at, http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
Herre, H., Jaspars, J., Wagner, G.: Partial Logics with Two Kinds of Negation as a Foundation of Knowledge-Based Reasoning. In: Gabbay, D.M., Wansing, H. (eds.) What Is Negation? Kluwer Academic Publishers, Dordrecht (1999)
Herre, H., Wagner, G.: Stable Models are Generated by a Stable Chain. Journal of Logic Programming 30(2), 165–177 (1997)
Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: 13th International Conference on World Wide Web (WWW 2004), pp. 723–731. ACM Press, New York (2004)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission (May 21, 2004), Available at, http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/
Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM 42(4), 741–843 (1995)
Klyne, G., Carroll, J.J.: Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation (February 10, 2004), Available at, http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/
McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. W3C Recommendation (February 10, 2004), Available at, http://www.w3.org/TR/2004/REC-owl-features-20040210/
The rule markup initiative (ruleml). Available at, http://www.ruleml.org
Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)
ter Horst, H.J.: Extending the RDFS Entailment Lemma. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 77–91. Springer, Heidelberg (2004)
Berners-Lee, T.: Notation 3 - An RDF language for the Semantic Web. W3C Recommendation (1998), Available at, http://www.w3.org/DesignIssues/Notation3.html
Wagner, G.: A Database Needs Two Kinds of Negation. In: Thalheim, B., Gerhardt, H.-D., Demetrovics, J. (eds.) MFDBS 1991. LNCS, vol. 495, pp. 357–371. Springer, Heidelberg (1991)
Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33–50. Springer, Heidelberg (2003)
Yang, G., Kifer, M.: Inheritance and Rules in Object-Oriented Semantic Web Languages. In: Schröder, M., Wagner, G. (eds.) RuleML 2003. LNCS, vol. 2876, pp. 95–110. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Analyti, A., Antoniou, G., Damásio, C.V., Wagner, G. (2005). Stable Model Theory for Extended RDF Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds) The Semantic Web – ISWC 2005. ISWC 2005. Lecture Notes in Computer Science, vol 3729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11574620_5
Download citation
DOI: https://doi.org/10.1007/11574620_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29754-3
Online ISBN: 978-3-540-32082-1
eBook Packages: Computer ScienceComputer Science (R0)