A logic-based calculus of events
New Generation Computing
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
Knowledge engineering: principles and methods
Data & Knowledge Engineering - Special jubilee issue: DKE 25
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Supporting Inheritance Mechanisms in Ontology Representation
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
A Formal Ontology of Properties
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Conceptual Modeling for Distributed Ontology Environments
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
| Hi-index | 0.00 |
This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitly representingin formation which precisely characterises the concept's properties and expected ambiguities, including which properties are prototypical of a concept and which are exceptional, the behaviour of properties over time and the degree of applicability of properties to subconcepts. This enriched conceptual model permits a precise characterisation of what is represented by class membership mechanisms and helps a knowledge engineer to determine, in a straightforward manner, the meta-properties holding for a concept. Moreover, this enriched semantics facilitates the development of reasoningm echanisms on the state of affairs that instantiate the ontologies. Such reasoning mechanisms can be used in order to solve ambiguities that can arise when ontologies are integrated and one needs to reason with the integrated knowledge.