A defeasible logic programming approach to the integration of rules and ontologies
The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning approaches, we use Defeasible Logic Programming (DeLP) to reason with possibly inc...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata
2010-06-01
|
| Series: | Journal of Computer Science and Technology |
| Subjects: | |
| Online Access: | https://journal.info.unlp.edu.ar/JCST/article/view/730 |
| Summary: | The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning approaches, we use Defeasible Logic Programming (DeLP) to reason with possibly inconsistent ontologies. In this article we show how to integrate rules and ontologies in the Semantic Web. We present an approach that can be used to suitably extend the SWRL standard by incorporating classical and default negated literals in SemanticWeb rules in the presence of incomplete and possibly inconsistent information. The rules and ontologies will be interpreted as a DeLP program allowing the rules to reason on top of a set of (possibly inconsistent) ontologies. |
|---|---|
| ISSN: | 1666-6046 1666-6038 |