A logical toolbox for ontological reasoning

article

Chase Termination for Guarded Existential Rules

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-

article published in 2015

Datalog and Its Extensions for Semantic Web Databases

article published in 2012

Datalog+/-: A Family of Languages for Ontology Querying

article published in 2011

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications

article

Expressive languages for querying the semantic web

Generative Datalog with Stable Negation

artículo científico publicado en 2023

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules

article published in 2012

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying

Ontological Query Answering via Rewriting

article published in 2011

Ontological queries: Rewriting and optimization

Ontological query answering under expressive Entity–Relationship schemata

Pulsed magnetic therapy increases osteogenic differentiation of mesenchymal stem cells only if they are pre-committed

artículo científico publicado en 2016

Query Answering under Expressive Entity-Relationship Schemata

Query Answering under Non-guarded Rules in Datalog+/-

article published in 2010

Query Rewriting and Optimization for Ontological Databases

Querying Conceptual Schemata with Expressive Equality Constraints

Querying UML Class Diagrams

Querying the Guarded Fragment with Transitivity

Recent Advances in Datalog $$^\pm $$

Semantic Acyclicity Under Constraints

The Complexity of Why-Provenance for Datalog Queries

artículo científico publicado en 2024

The Impact of Active Domain Predicates on Guarded Existential Rules

The Space-Efficient Core of Vadalog

artículo científico publicado en 2022

Towards more expressive ontology languages: The query answering problem

article published in 2012

Towards more expressive ontology languages: The query answering problem

artículo científico publicado en 2012

Tractable Query Answering over Conceptual Schemata

article published in 2009

Treatment of diabetic foot ulcers with Therapeutic Magnetic Resonance (TMR®) improves the quality of granulation tissue

artículo científico publicado en 2017