Exact Reasoning over Imprecise Ontologies

Abstract : A real world of objects (individuals) is represented by a set of assertions written with respect to defined syntax and semantics of description logic (formal language). These assertions should be consistent with the ontology axioms described as terminology of knowledge. The axioms and the assertions represent ontology about a particular domain. A real world is a possible world if all the assertions and the axioms over its set of individuals, are consistent. It is possible then to query the possible world by specific assertions (as instance checking) to determine if they are consistent with it or not. However, ontology can contain vague concepts which means the knowledge about them is imprecise and then query answering will not possible due to the open world assumption if the necessary information is incomplete (it is currently absent). A concept description can be very exact (crisp concept) or exact (fuzzy concept) if its knowledge is complete, otherwise it is inexact (vague concept) if its knowledge is incomplete. In this paper we propose a vagueness theory based on the definition of truth gaps as ontology assertions to express the vague concepts in Ontology Web Language (OWL2) (which is based on the description logic SROIQ(D)) and an extension of the Tableau algorithm for reasoning over imprecise ontologies.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01789967
Contributor : Hal Ifip <>
Submitted on : Friday, May 11, 2018 - 3:11:28 PM
Last modification on : Friday, October 5, 2018 - 10:28:06 PM
Long-term archiving on : Tuesday, September 25, 2018 - 10:45:43 AM

File

339159_1_En_29_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Mustapha Bourahla. Exact Reasoning over Imprecise Ontologies. 5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.355-366, ⟨10.1007/978-3-319-19578-0_29⟩. ⟨hal-01789967⟩

Share

Metrics

Record views

151

Files downloads

114