Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report).
Joohyung LeeRavi PallaPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Keyphrases
- stable model semantics
- logic programs
- derivation rules
- normal logic programs
- rdf graphs
- answer set programming
- horn clauses
- background knowledge
- semantic web
- owl ontologies
- logic programming
- knowledge base
- stable models
- first order logic
- knowledge representation
- answer set programs
- association rules
- databases
- domain ontology
- production rules
- fixpoint