Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP.
Vinay K. ChaudhriStijn HeymansMichael A. WesselTran Cao SonPublished in: CoRR (2013)
Keyphrases
- logic programming
- query answering
- answer set programming
- object oriented
- knowledge base
- programming language
- data exchange
- dl lite
- logic programs
- reasoning tasks
- conjunctive queries
- answer sets
- integrity constraints
- data complexity
- nonmonotonic reasoning
- incomplete information
- knowledge representation
- deductive databases
- data integration
- answer set programs
- description logics
- high level
- logic programming language
- stable models
- answering queries
- relational databases
- query rewriting
- query language
- data model
- database schema
- stable model semantics
- probabilistic reasoning
- open world
- declarative programming
- default logic
- schema mappings
- conceptual model
- fixpoint
- inductive logic programming
- expert systems
- function symbols
- artificial intelligence
- data mining
- databases