Well−Founded Semantics for Description Logic Programs in the Semantic Web
<p>In previous work, towards the integration of rules and ontologies in the SemanticWeb, we have proposed 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...
Main Authors: | , , , |
---|---|
Format: | Conference item |
Published: |
Springer
2004
|