Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
A description classifier for the predicate calculus
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Towards a causal ontology coping with the temporal constraints between causes and effects
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Representing scientific experiments: implications for ontology design and knowledge sharing
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Object-Oriented Software Construction
Object-Oriented Software Construction
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Modelling substances in knowledge representation has to be different from the treatment of discrete objects. For example liquids need a different approach to individuation. We propose an ontology which represents physical states and other properties of substances in a uniform way. Based on this we describe how to model a hierarchy of actions that can deal with such substances. For these actions a general distinction is made with respect to the type of properties the actions are changing. Further we describe an implementation in description logic allowing especially the definition of actions by specialization of more abstract actions and the inheritance of pre- and postconditions.