Summary: Stable Model Theory for Extended RDF
Ontologies
Anastasia Analyti1
, Grigoris Antoniou1,2
,
Carlos Viegas Dam´asio3
, and Gerd Wagner4
1
Institute of Computer Science, FORTH-ICS, Greece
[analyti, antoniou]@ics.forth.gr
2
Department of Computer Science, University of Crete, Greece
3
Centro de Intelig^encia Artificial, Universidade Nova de Lisboa, Portugal
cd@di.fct.unl.pt
4
Inst. of Informatics, Brandenburg Univ. of Technology at Cottbus, Germany
G.Wagner@tu-cottbus.de
Abstract. Ontologies and automated reasoning are the building blocks
of the Semantic Web initiative. Derivation rules can be included in an

Source: Analyti, Anastasia - Institute of Computer Science, Foundation of Research and Technology, Hellas

Collections: Computer Technologies and Information Sciences