An enriched knowledge model for formal ontological analysis

  • Authors:
  • Valentina A. M. Tamma;Trevor Bench-Capon

  • Affiliations:
  • University of Liverpool, Liverpool, UK;University of Liverpool, Liverpool, UK

  • Venue:
  • Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents and motivates an extended ontology knowledgemodel which explicitly represents semantic information aboutconcepts. This knowledge model is grounded on the meta-propertiesof formal ontological analysis and it results from enriching theusual conceptual model with semantic information which preciselycharacterises the concept's properties and expected ambiguities,including which properties are prototypical of a concept and whichare exceptional, the behaviour of properties over time and thedegree of applicability of properties to subconceptsThis enrichedconceptual model permits a precise characterisation of what isrepresented by class membership mechanisms and helps a knowledgeengineer to determine, in a straightforward manner, themeta-properties holding for a concept. Meta-properties arerecognised to be the main tool for a formal ontological analysisthat allows building ontologies with a clean and untangledtaxonomic structure. Moreover, this enriched semantics facilitatesthe development of reasoning mechanisms on the state of affairsthat instantiates the ontologies. Such reasoning mechanisms can beused in order to solve ambiguities that can arise when ontologiesare integrated and one needs to reason with the integratedknowledge.