Finite Materialisability of Datalog Programs with Metric Temporal Operators von Wałęga, Przemysław, Zawidzki, Michał, Cuenca Grau, Bernardo

Volltext

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner von Zhou, Yujiao, Cuenca Grau, Bernardo, Nenov, Yavor, Kaminski, Mark, Horrocks, Ian

Volltext

Module Extraction in Expressive Ontology Languages via Datalog Reasoning von Armas Romero, Ana, Kaminski, Mark, Cuenca Grau, Bernardo, Horrocks, Ian

Volltext

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies von Kaminski, Mark, Nenov, Yavor, Cuenca Grau, Bernardo

Volltext

Faceted search over RDF-based knowledge graphs von Arenas, Marcelo, Cuenca Grau, Bernardo, Kharlamov, Evgeny, Marciuška, Šarūnas, Zheleznyakov, Dmitriy

Volltext

Logical foundations of information disclosure in ontology-based data integration von Benedikt, Michael, Cuenca Grau, Bernardo, Kostylev, Egor V.

Volltext

The delay and window size problems in rule-based stream reasoning von Ronca, Alessandro, Kaminski, Mark, Cuenca Grau, Bernardo, Horrocks, Ian

Volltext

Foundations of ontology-based data access under bag semantics von Nikolaou, Charalampos, Kostylev, Egor V., Konstantinidis, George, Kaminski, Mark, Cuenca Grau, Bernardo, Horrocks, Ian

Volltext

Pay-as-you-go consequence-based reasoning for the description logic SROIQ von Tena Cucala, David, Cuenca Grau, Bernardo, Horrocks, Ian

Volltext

Practical Reasoning in DatalogMTL von WANG, DINGMIN, CUENCA GRAU, BERNARDO, WAŁȨGA, PRZEMYSŁAW A., HU, PAN

Volltext

LogMap: Logic-Based and Scalable Ontology Matching von Jiménez-Ruiz, Ernesto, Cuenca Grau, Bernardo

Volltext

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions von Bate, Andrew, Motik, Boris, Cuenca Grau, Bernardo, Tena Cucala, David, Simančík, František, Horrocks, Ian

Volltext

The Stable Model Semantics of Datalog with Metric Temporal Operators von WAŁĘGA, PRZEMYSŁAW A., TENA CUCALA, DAVID J., CUENCA GRAU, BERNARDO, KOSTYLEV, EGOR V.

Volltext

Logic-based assessment of the compatibility of UMLS ontology sources von Jiménez-Ruiz, Ernesto, Grau, Bernardo Cuenca, Horrocks, Ian, Berlanga, Rafael

Volltext

Combining OWL ontologies using E -Connections von Cuenca Grau, Bernardo, Parsia, Bijan, Sirin, Evren

Volltext

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies von Kaminski, Mark, Nenov, Yavor, Cuenca Grau, Bernardo

Volltext

Representing ontologies using description logics, description graphs, and rules von Motik, Boris, Cuenca Grau, Bernardo, Horrocks, Ian, Sattler, Ulrike

Volltext

MORe: Modular Combination of OWL Reasoners for Ontology Classification von Armas Romero, Ana, Cuenca Grau, Bernardo, Horrocks, Ian

Volltext

Incremental Classification of Description Logics Ontologies von Cuenca Grau, Bernardo, Halaschek-Wiener, Christian, Kazakov, Yevgeny, Suntisrivaraporn, Boontawee

Volltext

Privacy in ontology-based information systems: A pending matter von Cuenca Grau, Bernardo

Volltext