Computability and Complexity Issues of Extended RDF
Anastasia Analyti, Grigoris Antoniou, Damásio Carlos Viegas, Wagner Gerd · Frontiers in artificial intelligence and applications · 2008
ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. Unfortunately, ERDF stable model semantics is in general undecidable. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics.