Results 271 to 280 of about 2,766,744 (297)
Some of the next articles are maybe not open access.
Descriptions in mathematical logic
Studia Logica, 1984After a discussion of the different treatments in the literature of vacuous descriptions, the notion of descriptor is slightly generalized to function descriptor Ⅎy→(x), so as to form partial functions φ = Ⅎy→(x).A→(x, y) which satisfy ∀→xz(z = φx→ ↔ ∀y(A(x→, y) ↔ y = z)).
Gerard R. Renardel, null de Lavalette
openaire +3 more sources
2009
Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, configuration, and databases,
openaire +3 more sources
Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, configuration, and databases,
openaire +3 more sources
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
International Joint Conference on Artificial Intelligence, 2011We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL.
C. Lutz, R. Piro, F. Wolter
semanticscholar +1 more source
2007
This chapter covers extensions of the basic Description Logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we study reasoning in Description Logics that include general inclusion axioms, inverse roles, number restrictions, reflexive-transitive closure of roles, fixpoint constructs for
DIEGO CALVANESE, DE GIACOMO, Giuseppe
openaire +3 more sources
This chapter covers extensions of the basic Description Logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we study reasoning in Description Logics that include general inclusion axioms, inverse roles, number restrictions, reflexive-transitive closure of roles, fixpoint constructs for
DIEGO CALVANESE, DE GIACOMO, Giuseppe
openaire +3 more sources
Description Logics for Documentation
2016Much of the activity in a digital library revolves around collecting, organizing and publishing knowledge about the resources of the library, in the form of metadata records. In order to document such activity, digital librarians need to express knowledge about the metadata records they produce.
openaire +4 more sources
European Conference on Artificial Intelligence, 2010
We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases.
M. Krötzsch +2 more
semanticscholar +1 more source
We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases.
M. Krötzsch +2 more
semanticscholar +1 more source
Description Logics for Databases
2007In contrast to the relatively complex information that can be expressed in DL ABoxes (which we might call knowledge or information), databases and other sources such as files, semistructured data, and the World Wide Web provide rather simpler data, which must however be managed effectively.
Alexander Borgida +2 more
openaire +3 more sources
A Decidable Constructive Description Logic
2010Recently, there has been a growing interest in constructive reinterpretations of description logics. This has been motivated by the need to model in the DLs setting problems that have a consolidate tradition in constructive logics. In this paper we introduce a constructive description logic for the language of ALC based on the Kripke semantics for ...
Bozzato L. +3 more
openaire +3 more sources
Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
RW, 2016Meghyn Bienvenu, Camille Bourgaux
semanticscholar +1 more source