Stable Model Theory for Extended RDF Ontologies

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

16 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationThe Semantic Web, ISWC 2005
Subtitle of host publication4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
EditorsYolanda Gil, Enrico Motta, V. Richard Benjamins, Mark Musen
Place of PublicationBerlin
PublisherSpringer Verlag
Pages21-36
Number of pages16
Edition1st
ISBN (Electronic)9783540320821
ISBN (Print)3540297545, 9783540297543
DOIs
Publication statusPublished - 4 Nov 2005
Externally publishedYes
Event4th International Semantic Web Conference - Galway, Ireland
Duration: 6 Nov 200510 Nov 2005
Conference number: 4

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume3729 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Semantic Web Conference
Abbreviated titleISWC 2005
Country/TerritoryIreland
CityGalway
Period6/11/0510/11/05

Fingerprint

Dive into the research topics of 'Stable Model Theory for Extended RDF Ontologies'. Together they form a unique fingerprint.

Cite this