Search Results for author:
Found 13 papers, 0 papers with code
Semiring Provenance for Lightweight Description Logics
We define a provenance semantics for a language that encompasses several lightweight description logics and show its relationships with semantics that have been defined for ontologies annotated with a specific kind of annotation (such as fuzzy degrees).
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies
In this paper we study the problem of answering conjunctive queries and threshold queries w. r. t.
Union and Intersection of all Justifications
We present new algorithm for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications.
Reasoning with Contextual Knowledge and Influence Diagrams
Influence diagrams (IDs) are well-known formalisms extending Bayesian networks to model decision situations under uncertainty.
Axiom Pinpointing
Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow.
Provenance for the Description Logic ELHr
We address the problem of handling provenance information in ELHr ontologies.
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making.
A Decidable Very Expressive Description Logic for Databases (Extended Version)
We introduce $\mathcal{DLR}^+$, an extension of the n-ary propositionally closed description logic $\mathcal{DLR}$ to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local objectification of relations, able to express inclusion, functional, key, and external uniqueness dependencies.
Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)
We present a probabilistic extension of the description logic $\mathcal{ALC}$ for reasoning about statistical knowledge.
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)
A central question for knowledge representation is how to encode and handle uncertain knowledge adequately.
Reasoning in Infinitely Valued G-IALCQ
Fuzzy Description Logics (FDLs) are logic-based formalisms used to represent and reason with vague or imprecise knowledge.
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain.
Dynamic Bayesian Ontology Languages
Many formalisms combining ontology languages with uncertainty, usually in the form of probabilities, have been studied over the years.
