Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures.
Teodoro BaldazziLuigi BellomariniMarco FavoritoEmanuel SallingerPublished in: PADL (2024)
Keyphrases
- artificial intelligence
- ontological reasoning
- expressive power
- computational properties
- domain knowledge
- logic programming
- ontology matching
- deductive databases
- data streams
- query answering
- integrity constraints
- knowledge representation
- logic programs
- data complexity
- first order logic
- database
- data access
- semantic web
- datalog programs
- query language
- information retrieval