OnlynessIsLoneliness (OIL)

Corcho, Oscar and Roussey, Catherine (2009). OnlynessIsLoneliness (OIL). In: "Workshop on Ontology Patterns, WOP 2009", 25/10/2009 - 25/10/2009, Washington DC, USA.


Title: OnlynessIsLoneliness (OIL)
  • Corcho, Oscar
  • Roussey, Catherine
Item Type: Presentation at Congress or Conference (Article)
Event Title: Workshop on Ontology Patterns, WOP 2009
Event Dates: 25/10/2009 - 25/10/2009
Event Location: Washington DC, USA
Title of Book: Proceedings of Workshop on Ontology Patterns, WOP 2009
Date: 2009
Volume: 516
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (119kB) | Preview


Our work is based on the debugging process of real ontologies that have been developed by domain experts, who are not necessarily too familiar with DL, and hence can misuse DL constructors and misunderstand the semantics of some OWL expressions, leading to unwanted unsatisfiable classes. Our patterns were first found during the debugging process of a medium-sized OWL ontology (165 classes) developed by a domain expert in the area of hydrology [9]. The first version of this ontology had a total of 114 unsatisfiable classes. The information provided by the debugging systems used ([3], [5]) on (root) unsatisfiable classes was not easily understandable by domain experts to find the reasons for their unsatisfiability. And in several occasions during the debugging process the generation of justifications for unsatisfiability took several hours, what made these tools hard to use, confirming the results described in [8]. Using this debugging process and several other real ontologies debugging one, we found out that in several occasions domain experts were just changing axioms from the original ontology in a somehow random manner, even changing the intended meaning of the definitions instead of correcting errors in their formalisation

More information

Item ID: 5562
DC Identifier:
OAI Identifier:
Official URL:
Deposited by: Memoria Investigacion
Deposited on: 11 Jan 2011 11:12
Last Modified: 20 Apr 2016 14:20
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM