Results 51 to 60 of about 143,005 (117)
This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability logic is characterized as a generalization of bivalent truth-functional propositional logic (short "logic"), as ...
arxiv
On Metric Temporal Description Logics [PDF]
We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with (a) LTLbin, an extension of the temporal logic LTL with succinctly represented intervals, and (b) metric temporal logic MTL, extending LTLbinwith capabilities to quantitatively reason about time delays.
Victor Gutierrez Basulto+2 more
openaire +2 more sources
Undecidability of the unification and admissibility problems for modal and description logics [PDF]
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality. It follows that the admissibility problem for inference rules is undecidable for these logics as well. These are the first examples of standard
arxiv
On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm [PDF]
Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs). They show that, unlike the classical case, the DL ALC with GCIs does not have the finite model property under Lukasiewicz Logic or Product Logic and, specifically, knowledge base satisfiability is an undecidable problem ...
arxiv
The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach [PDF]
Volker Haarslev+2 more
openalex +1 more source
Bisimulation-Based Comparisons for Interpretations in Description Logics [PDF]
We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions similar to the ones of bisimulations.
arxiv
Expressive probabilistic description logics
AbstractThe work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role in the development of the Semantic Web, since they provide a precise definition of shared terms in web resources.
openaire +3 more sources
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version) [PDF]
Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-rigidity, which allows them to designate different objects (or none at all) at different states.
arxiv
Text authoring, knowledge acquisition and description logics [PDF]
Marc Dymetman
openalex +1 more source
Logic-based Web services composition: from service description to process model [PDF]
Jinghai Rao+2 more
openalex +1 more source