• Publications
  • Influence
Temporal Query Answering in the Description Logic DL-Lite
TLDR
Ontology-based data access (OBDA) generalizes query answering in relational databases by using the language of an ontology, abstracting from the actual relations of the database. Expand
  • 48
  • 7
  • PDF
Temporal Query Answering in the Description Logic EL
TLDR
We investigate temporalized OBDA w.r.t. ontologies formulated in EL, a description logic that allows for efficient reasoning and is successfully used in practice. Expand
  • 30
  • 6
  • PDF
Temporalizing rewritable query languages over knowledge bases
TLDR
We propose a generic temporal query language that combines linear temporal logic with queries over ontologies. Expand
  • 46
  • 5
  • PDF
Temporalizing Ontology-Based Data Access
TLDR
Ontology-based data access (OBDA) generalizes query answering in databases towards the temporal case where the ontology is expressed by an appropriate Description Logic and the queries are conjunctive queries. Expand
  • 53
  • 3
  • PDF
The limits of decidability in fuzzy description logics with general concept inclusions
TLDR
Fuzzy description logics (DLs) can be used to represent and reason with vague knowledge. Expand
  • 47
  • 3
  • PDF
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
TLDR
This paper analyses the consistency and satisfiability problems in the description logic ${\mathcal{SHI}}$ with semantics based on a complete residuated De Morgan lattice. Expand
  • 19
  • 3
  • PDF
Temporal query entailment in the Description Logic SHQ
TLDR
Ontology-based data access (OBDA) generalizes query answering in databases towards deductive entailment since (i) the fact base is not assumed to contain complete knowledge (i.e., there is no closed world assumption). Expand
  • 36
  • 3
  • PDF
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)
TLDR
In this paper, we complement existing results on the combination of DLs with metric temporal logics over the natural numbers by introducing interval-rigid names that allow to formulate constraints on how long it may take until the property is satisfied. Expand
  • 27
  • 2
  • PDF
Fuzzy Ontologies over Lattices with T-norms
TLDR
In some knowledge domains, a correct handling of vagueness and imprecision is fundamental for adequate knowledge representation and reasoning. Expand
  • 23
  • 2
  • PDF
Temporal Query Answering in DL-Lite with Negation
TLDR
Ontology-based query answering augments classical query answering in databases by adopting the open-world assumption and by including domain knowledge provided by an ontology. Expand
  • 17
  • 2
  • PDF
...
1
2
3
4
5
...