Ontology-mediated query answering with data-tractable description logics

M Bienvenu, M Ortiz - Reasoning Web. Web Logic Rules: 11th …, 2015 - Springer
Recent years have seen an increasing interest in ontology-mediated query answering, in
which the semantic knowledge provided by an ontology is exploited when querying data …

Description logics in multimedia reasoning

LF Sikos - 2017 - Springer
The immense and constantly growing number of videos urges efficient automated
processing mechanisms for multimedia contents, which is a real challenge due to the huge …

The impact of negative triple generation strategies and anomalies on knowledge graph completion

I Bansal, S Tiwari, CR Rivero - … of the 29th ACM international conference …, 2020 - dl.acm.org
Even though knowledge graphs have proven very useful for several tasks, they are marked
by incompleteness. Completion algorithms aim to extend knowledge graphs by predicting …

[HTML][HTML] Real-time reasoning in OWL2 for GDPR compliance

PA Bonatti, L Ioffredo, IM Petrova, L Sauro… - Artificial Intelligence, 2020 - Elsevier
This paper shows how knowledge representation and reasoning techniques can be used to
support organizations in complying with the GDPR, that is, the new European data …

[PDF][PDF] The combined approach to query answering in Horn-ALCHOIQ

D Carral, I Dragoste, M Krötzsch - Sixteenth International Conference …, 2018 - cdn.aaai.org
Combined approaches have become a successful technique for solving conjunctive query
(CQ) answering over description logics (DL) ontologies. Nevertheless, existing approaches …

[PDF][PDF] The combined approach to query answering beyond the OWL 2 profiles

C Feier, D Carral, G Stefanoni, BC Grau… - … -Fourth International Joint …, 2015 - ijcai.org
Combined approaches have become a successful technique for CQ answering over
ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 …

Conjunctive query answering over unrestricted OWL 2 ontologies

F Igne, S Germano, I Horrocks - Semantic Web, 2023 - content.iospress.com
Conjunctive Query (CQ) answering is a primary reasoning task over knowledge bases.
However, when considering expressive description logics, query answering can be …

Not too big, not too small... complexities of fixed-domain reasoning in first-order and description logics

S Rudolph, L Schweizer - EPIA Conference on Artificial Intelligence, 2017 - Springer
We consider reasoning problems in description logics and variants of first-order logic under
the fixed-domain semantics, where the model size is finite and explicitly given. It follows from …

[PDF][PDF] A Richer Policy Language for GDPR Compliance.

PA Bonatti, IM Petrova, L Sauro - Description Logics, 2019 - ceur-ws.org
We illustrate an OWL2 fragment properly tailored for the specification of both companies'
data protection policies and data subjects' consent to data processing. Assessing a …

Computing CQ lower-bounds over OWL 2 through approximation to RSA

F Igne, S Germano, I Horrocks - International Semantic Web Conference, 2021 - Springer
Conjunctive query (CQ) answering over knowledge bases is an important reasoning task.
However, with expressive ontology languages such as OWL, query answering is …