Logical Inference in Query Answering Systems Based on Domain Ontologies.
Juliusz L. KulikowskiPublished in: FedCSIS (2011)
Keyphrases
- query answering
- domain ontology
- data exchange
- logical inference
- data integration
- answering queries
- domain knowledge
- incomplete information
- data complexity
- integrity constraints
- semi automatic
- conjunctive queries
- domain specific
- theorem proving
- data sources
- knowledge based systems
- database design
- xml documents
- artificial intelligence
- machine learning