Keyphrases
- formal logic
- domain knowledge
- domain specific
- semantic web
- modal logic
- knowledge base
- knowledge representation
- semantically enhanced
- rule engine
- logic programming
- semantic annotation
- classical logic
- multi valued
- semantic network
- ontology development
- defeasible logic
- owl ontologies
- ontological framework
- semantic information
- ontology reasoning
- databases
- logical inference
- reasoning engine
- asynchronous circuits
- predicate logic
- probability theory
- semantic relationships
- topic maps
- logic programs