Results 281 to 290 of about 93,434 (314)

A logical calculus with descriptions

Journal of Philosophical Logic, 1974
is well-formed but not derivable though it is an instance of the tertium non datur. This fact suggests to attempt a similar treatment of descriptions: formulas which contain terms like zx(A (x) A ~A (x)) are considered as wff but the tertium non datur does not hold generally for such formulas.
openaire   +2 more sources

Pinpointing in the Description Logic EL. [PDF]

, 2007
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in question. Until now, the pinpointing approach has only been applied to the DL ALC and some of its extensions.
Baader, F, Peñaloza, R, Suntisrivaraporn, B   +2 more
openaire   +2 more sources

Autoepistemic Description Logics. [PDF]

, 1997
We present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is augmented with modal operators interpreted according to the nonmonotonic logic MKNF. We provide decision procedures for query answering in two very expressive ADLs.
F. M. Donini, NARDI, Daniele, ROSATI, Riccardo   +2 more
openaire   +1 more source

A Logical Semantics for Description Logic Programs

2010
We present a new semantics for Description Logic programs [1] (dl-programs) that combine reasoning about ontologies in description logics with non-monotonic rules interpreted under answer set semantics. Our semantics is equivalent to that of [1], but is more logical in style, being based on the logic QHT of quantified here-and-there that provides a ...
Michael Fink 0001, David Pearce 0001
openaire   +1 more source

Autoepistemic Description Logics.

AI Commun., 1998
A non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined.
openaire   +2 more sources

Fusion of Logic Programming and Description Logics

2009
Broadly, our research concerns the fusion of Logic Programming (LP) andDescription Logics (DLs), two solid knowledge representation paradigms with largely dual properties.The two feature different semantics and orthogonal expressivity, and they apply different reasoning techniques.
openaire   +1 more source

Logical sensing with fluorescent molecular logic gates based on photoinduced electron transfer

Coordination Chemistry Reviews, 2021
David C Magri
exaly  

Tribotronic Logic Circuits and Basic Operations

Advanced Materials, 2015
Chi Zhang, Chang Bao Han, Zhong Lin Wang   +2 more
exaly  

Complexity and expressive power of logic programming

ACM Computing Surveys, 2001
Thomas Eiter, Georg Gottlob, Andrei Voronkov   +2 more
exaly  

Description Logics

2009
openaire   +1 more source