Parallelised ABox reasoning and query answering with expressive description logics
A Steigmiller, B Glimm - European Semantic Web Conference, 2021 - Springer
Automated reasoning support is an important aspect of logic-based knowledge
representation. The development of specialised procedures and sophisticated optimisation …
representation. The development of specialised procedures and sophisticated optimisation …
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
The W3C Web Ontology Language (OWL) is a powerful knowledge representation
formalism at the basis of many semantic-centric applications. Since its unrestricted usage …
formalism at the basis of many semantic-centric applications. Since its unrestricted usage …
Reasoning over Financial Scenarios with the Vadalog System
T Baldazzi, L Bellomarini… - # …, 2023 - repositum.tuwien.at
The last decade has witnessed a surge of interest from the financial sector towards
intelligent systems that model complex business domains via powerful languages and …
intelligent systems that model complex business domains via powerful languages and …
[PDF][PDF] Parallelised ABox reasoning and query answering with expressive description logics-technical report
A Steigmiller, B Glimm - 2021 - uni-ulm.de
Automated reasoning support is an important aspect of logic-based knowledge
representation. The development of specialised procedures and sophisticated optimisation …
representation. The development of specialised procedures and sophisticated optimisation …
[PDF][PDF] DaRLing: a Datalog OWL 2 RL Rewriter
Ontology-mediated query answering (OMQA) is an emerging paradigm at the basis of many
semantic-centric applications. In this setting, a conjunctive query has to be evaluated against …
semantic-centric applications. In this setting, a conjunctive query has to be evaluated against …
Precomputing Datalog evaluation plans in large-scale scenarios
With the more and more growing demand for semantic Web services over large databases,
an efficient evaluation of Datalog queries is arousing a renewed interest among researchers …
an efficient evaluation of Datalog queries is arousing a renewed interest among researchers …
[PDF][PDF] Querying Large Expressive Horn Ontologies.
In the development of the Semantic Web researchers and industry experts agree that
scalability can only be obtained by reducing standard reasoning tasks to query evaluation …
scalability can only be obtained by reducing standard reasoning tasks to query evaluation …