Keyphrases
- domain ontology
- knowledge representation
- logic programming
- semantic web
- knowledge base
- domain specific
- domain knowledge
- formal logic
- rule engine
- classical logic
- ontology mapping
- automated reasoning
- modal logic
- semantic annotation
- data sets
- owl dl ontologies
- logical inference
- artificial intelligence
- semantic technologies
- semantic relationships
- logical framework
- computational properties
- conceptual structures
- predicate logic
- ontology alignment
- ontology driven
- ontology construction
- asynchronous circuits
- multi valued
- topic maps
- knowledge acquisition
- modular ontologies