The XRay system: An implementation platform for local query-answering in default logics.
Pascal NicolasTorsten SchaubPublished in: Applications of Uncertainty Formalisms (1998)
Keyphrases
- query answering
- default logic
- x ray
- data exchange
- data integration
- conjunctive queries
- answering queries
- integrity constraints
- incomplete information
- data complexity
- x ray images
- nonmonotonic reasoning
- default theories
- dl lite
- default reasoning
- query rewriting
- autoepistemic logic
- intraoperative
- three dimensional
- databases