Results 211 to 220 of about 113,022 (221)
Some of the next articles are maybe not open access.
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
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
Temporally Attributed Description Logics
2019Knowledge graphs are based on graph models enriched with (sets of) attribute-value pairs, called annotations, attached to vertices and edges. Many application scenarios of knowledge graphs crucially rely on the frequent use of annotations related to time.
Ana Ozaki +2 more
openaire +2 more sources
Towards Service Description Logics
2002Semantic service description and matchmaking are needed in embedded and disappearing computing, cooperative multiagent systems, and the semantic web. Standard program semantics formalizations are not suited to modeling service semantics, because they are generic w.r.t.
openaire +3 more sources