A preliminary framework for 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 (PDLDA ontologies for short). PDLDA ontologies are composed of a terminology as well as an assertional box that allows to declare three kinds of assertional statements: an in...
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/50063 |
| Aporte de: |
| id |
I19-R120-10915-50063 |
|---|---|
| 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 Frameworks supppositional argumentation inconsistency handling |
| spellingShingle |
Ciencias Informáticas Frameworks supppositional argumentation inconsistency handling Gómez, Sergio Alejandro A preliminary framework for reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions |
| topic_facet |
Ciencias Informáticas Frameworks supppositional argumentation inconsistency handling |
| description |
We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PDLDA ontologies for short). PDLDA ontologies are composed of a terminology as well as an assertional box that allows to declare three kinds of assertional statements: an individual is a member of one 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. Each axiom in the ontologies has a certainty degree as is usual in possibilistic logics. For reasoning with PDLDA ontologies, we interpret them in terms of a adaptation of Bodanza's Suppositional Argumentation System. Our framework allows to reason with modus ponens and constructive dilemmas. We use it for determining the membership of individuals to concepts when there is doubt to exactly which one of the concepts in the union the individual belongs. 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 |
Objeto de conferencia Objeto de conferencia |
| author |
Gómez, Sergio Alejandro |
| author_facet |
Gómez, Sergio Alejandro |
| author_sort |
Gómez, Sergio Alejandro |
| title |
A preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions |
| title_short |
A preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions |
| title_full |
A preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions |
| title_fullStr |
A preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions |
| title_full_unstemmed |
A preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions |
| title_sort |
preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions |
| publishDate |
2015 |
| url |
http://sedici.unlp.edu.ar/handle/10915/50063 |
| work_keys_str_mv |
AT gomezsergioalejandro apreliminaryframeworkforreasoningwithinconsistentpossibilisticdescriptionlogicsontologieswithdisjunctiveassertions AT gomezsergioalejandro preliminaryframeworkforreasoningwithinconsistentpossibilisticdescriptionlogicsontologieswithdisjunctiveassertions |
| bdutipo_str |
Repositorios |
| _version_ |
1764820475445248005 |