Sciweavers

Share
RULEML
2004
Springer

Semantic Web Reasoning with Conceptual Logic Programs

9 years 2 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while carefully guarding useful knowledge representation mechanisms such as negation as failure and inequalities. Reasoning with the resulting Conceptual Logic Programs can be reduced to finite, normal Answer Set Programming, for which reasoners are available. We argue that Conceptual Logic Programming is a useful tool for uniformly representing and reasoning with both ontologies and rules on the Semantic Web, as they can capture a large fragment of the OWL DL ontology language, while extending it in various aspects.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where RULEML
Authors Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Comments (0)
books