Ontological Representation of Constraints for Geographical Reasoning.
Gianluca TortaLiliana ArdissonoMarco CoronaLuigi La RicciaAngioletta VogheraPublished in: KEOD (2018)
Keyphrases
- knowledge representation
- constraint satisfaction
- graphical representation
- consistency checking
- constrained optimization
- representation language
- reasoning mechanisms
- objective function
- automated reasoning
- constraint programming
- qualitative simulation
- knowledge processing
- representing knowledge
- ontological engineering