Sorted hyper-predicate knowledge bases for ontologies and rules.
Ken KaneiwaPhilip H. P. NguyenPublished in: SAC (2012)
Keyphrases
- knowledge base
- inference engine
- knowledge representation
- production rules
- background knowledge
- dl lite
- knowledge sources
- expert systems
- knowledge based systems
- logic rules
- domain experts
- expert knowledge
- description logics
- classification rules
- owl ontologies
- knowledge acquisition
- logic programming
- horn clauses
- databases
- association rules
- first order logic
- rule language
- formal representation
- ontology alignment
- rule engine
- dl programs
- semantic web technologies
- decision rules
- association rule mining
- semantic web
- logic programs
- conceptual graphs
- rule sets
- semantic technologies
- knowledge engineers
- integrity constraints
- domain ontology
- meta knowledge
- legal knowledge
- domain specific