Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring.
Ken KaneiwaPhilip H. P. NguyenPublished in: ISWC (2009)
Keyphrases
- order sorted logic
- association rules
- databases
- background knowledge
- rule engine
- legal knowledge
- rule sets
- domain specific
- classification rules
- domain ontology
- formal representation
- production rules
- knowledge representation
- attribute values
- association rule mining
- semantic web technologies
- programming language
- programming course
- rule language
- data model
- information retrieval
- data mining