Comparative Analysis of Logic Reasoning and Graph Neural Networks for Ontology-Mediated Query Answering With a Covering Axiom.
Olga GerasimovaNikita SeverinIlya MakarovPublished in: IEEE Access (2023)
Keyphrases
- comparative analysis
- query answering
- ontology based data access
- data exchange
- automated reasoning
- knowledge representation
- open world
- modal logic
- knowledge base
- integrity constraints
- conjunctive queries
- data integration
- computational properties
- incomplete information
- data complexity
- ontology languages
- answering queries
- logic programming
- owl dl
- semantic web
- domain knowledge
- query rewriting
- structured data
- semi quantitative
- directed acyclic graph
- datalog programs
- description logics
- reasoning tasks
- conceptual modeling
- domain ontology
- database
- semantic annotation
- theorem prover
- dl lite
- owl ontologies
- graph databases
- graph mining
- theorem proving
- inference rules
- business intelligence
- data warehouse
- databases