On Knowledge Dependence in Weighted Description Logic
MetadataShow full item record
We study a family of operators (called ‘Tooth’ operators) that combine Description Logic concepts via weighted sums. These operators are intended to capture the notion of instances satisfying “enough” of the concept descriptions given. We examine two variants of these operators: the “knowledge-independent” one, that evaluates the concepts with respect to the current interpretation, and the “knowledge-dependent” one that instead evaluates them with respect to a specified knowledge base, comparing and contrasting their properties. We furthermore discuss the connections between these operators and linear classification models.
Showing items related by title, author, creator and subject.
Integrating abductive logic programming and description logics in a dynamic contracting architecture Alberti M; Cattafi M; Chesani F; Gavanelli M; Lamma E; Mello P; Montali M; Torroni P (IEEE Press, 2009)In Semantic Web technologies, searching for a service means to identify, components that can potentially satisfy the user needs in terms of outputs and effects (discovery), and that, when invoked by the customer can ...
Calvanese D (CEUR-WS.org, 2016)Graph-structured data, which are receiving increased attention in the database community, are tightly connected to Description Logics (DLs), given that these two formalims share the underlying interpretation structures. ...
Calvanese D; De Giacomo G; Montali M; Patrizi F (CEUR-WS.org, 2013)We devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism. We study verification and adversarial ...