Results 1 to 10 of about 112,923 (122)
On Bisimulations for Description Logics [PDF]
Information Sciences, 2014 We study bisimulations for useful description logics. The simplest among the considered logics is $\mathcal{ALC}_{reg}$ (a variant of PDL). The others extend that logic with inverse roles, nominals, quantified number restrictions, the universal role, and/
Ali Rezaei Divroodi +25 more
core +3 more sources
IEEE Intelligent Systems, 2013 This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail.
Horrocks, Ian +2 more
core +4 more sources
Description logics of context [PDF]
Journal of Logic and Computation, 2016 We introduce Description Logics of Context (DLCs)—an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J.
Gutierrez Basulto, Victor +1 more
core +4 more sources
Expressive probabilistic description logics [PDF]
Artificial Intelligence, 2008 The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web.
Lukasiewicz, Thomas
core +5 more sources
On metric temporal description logics [PDF]
, 2016 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 ...
Gutierrez Basulto, Victor +2 more
core +4 more sources
On Free Description Logics with Definite Descriptions [PDF]
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, 2021 Definite descriptions are phrases of the form ‘the x such that φ’, used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontologies. We investigate free description logics with both individual names and definite descriptions as terms of the ...
Alessandro Artale +3 more
openaire +4 more sources
Description logic programs [PDF]
Proceedings of the twelfth international conference on World Wide Web - WWW '03, 2003 We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic ...
Grosof, Benjamin +3 more
openaire +5 more sources
A NEUTROSOPHIC DESCRIPTION LOGIC [PDF]
New Mathematics and Natural Computation, 2006 Description Logics (DLs) are appropriate, widely used, logics for managing structured knowledge. They allow reasoning about individuals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with crisp, well defined concepts. That is, concepts for which the problem whether an individual is an instance of it
HAIBIN WANG +3 more
openaire +7 more sources
An Occurrence Description Logic [PDF]
Logical Investigations, 2022 Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative
Badie, Farshad, Götzsche, Hans
openaire +1 more source
SHACL: A Description Logic in Disguise [PDF]
, 2022 SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its relation to OWL (the de facto standard for expressing ontological information on the web) and ...
Bart Bogaerts +2 more
openaire +6 more sources