Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report).
Joohyung LeeRavi PallaPublished in: LPNMR (2011)
Keyphrases
- stable model semantics
- logic programs
- derivation rules
- rdf graphs
- normal logic programs
- answer set programming
- horn clauses
- background knowledge
- stable models
- answer set programs
- association rules
- semantic web
- first order logic
- owl ontologies
- domain ontology
- logic programming
- knowledge representation
- knowledge base
- artificial intelligence
- answer sets
- database
- relational databases