Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions
We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PoDLoDA ontologies for short). Given a PoDLoDA ontology, its terminological box is expressed in the description logic programming fragment but its assertional box allows fou...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/50127 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST41-Paper-4.pdf |
| Aporte de: |
| id |
I19-R120-10915-50127 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas web semántica Inteligencia Artificial Frameworks Knowledge Representation Formalisms and Methods ontology reasoning |
| spellingShingle |
Ciencias Informáticas web semántica Inteligencia Artificial Frameworks Knowledge Representation Formalisms and Methods ontology reasoning Gómez, Sergio Alejandro Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| topic_facet |
Ciencias Informáticas web semántica Inteligencia Artificial Frameworks Knowledge Representation Formalisms and Methods ontology reasoning |
| description |
We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PoDLoDA ontologies for short). Given a PoDLoDA ontology, its terminological box is expressed in the description logic programming fragment but its assertional box allows four kinds of statements: an individual is a member of a concept, two individuals are related through a role, an individual is a member of the union of two or more concepts or two individuals are related through the union of two or more roles. Axioms and statements in PoDLoDA ontologies have a numerical certainty degree attached. A disjunctive assertion expresses a doubt respect to the membership of either individuals to union of concepts or pairs of individuals to the union of roles. Because PoDLoDA ontologies allow to represent incomplete and potentially inconsistent information, instance checking is addressed through an adaptation of Bodanza’s Suppositional Argumentation System that allows to reason with modus ponens and constructive dilemmas. We think that our approach will be of use for implementers of reasoning systems in the Semantic Web where uncertainty of membership of individuals to concepts or roles is present. |
| format |
Articulo Articulo |
| author |
Gómez, Sergio Alejandro |
| author_facet |
Gómez, Sergio Alejandro |
| author_sort |
Gómez, Sergio Alejandro |
| title |
Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| title_short |
Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| title_full |
Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| title_fullStr |
Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| title_full_unstemmed |
Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| title_sort |
reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| publishDate |
2015 |
| url |
http://sedici.unlp.edu.ar/handle/10915/50127 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST41-Paper-4.pdf |
| work_keys_str_mv |
AT gomezsergioalejandro reasoningwithinconsistentpossibilisticdescriptionlogicsontologieswithdisjunctiveassertions |
| bdutipo_str |
Repositorios |
| _version_ |
1764820475511308290 |