Keyphrases
- domain knowledge
- semantic web
- knowledge representation
- domain specific
- formal logic
- ontology mapping
- modal logic
- multi valued
- automated reasoning
- rule engine
- logical inference
- knowledge base
- classical logic
- conceptual model
- owl dl ontologies
- proof theory
- predicate logic
- logic programming
- semantic relationships
- domain ontology
- logical framework
- semi automatically
- semantic information
- semantically enhanced
- owl ontologies
- knowledge acquisition
- requirement analysis
- case based reasoning