Combining Answer Set Programming with Description Logics for the Semantic Web

<p>Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of logic programming under the answer set semantics with the description logics <em>SHIF(D)</em> and <em>SHOIN(D)</em>, which underly the Web ontology languages OWL Lite and...

Descrición completa

Detalles Bibliográficos
Main Authors: Eiter, T, Lukasiewicz, T, Schindlauer, R, Tompits, H
Formato: Conference item
Publicado: AAAI Press 2004

Títulos similares