Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, May 11, 2018 - 3:11:28 PM
Last modification on : Tuesday, October 19, 2021 - 11:05:46 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 10:45:43 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads