Local Closed World Semantics: Grounded Circumscription for OWL.
Kunal SenguptaAdila Alfa KrisnadhiPascal HitzlerPublished in: ISWC (1) (2011)
Keyphrases
- open world
- closed world
- stable model semantics
- logic programs
- data exchange
- answer set programming
- incomplete information
- open world assumption
- stable models
- closed world assumption
- logic programming
- rdf graphs
- null values
- derivation rules
- data integration
- nonmonotonic reasoning
- nonmonotonic logics
- default reasoning
- knowledge base
- default logic
- data management
- query language
- metadata