Results 11 to 20 of about 1,097,831 (341)
A Neutrosophic Description Logic [PDF]
New Mathematics and Natural Computation, 2008 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.
ANDRÉ ROGATKO +8 more
core +7 more sources
A Rational Entailment for Expressive Description Logics via Description Logic Programs [PDF]
, 2021 Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL ...
Casini G, Straccia U
arxiv +7 more sources
On Bisimulations for Description Logics [PDF]
Ali Rezaei Divroodi, Linh Anh Nguyen: On bisimulations for
description logics. Information Sciences 295: 465-493 (2015), 2011 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/or the concept constructor for expressing the local reflexivity of a role.
Linh Anh Nguyen, Ali Rezaei Divroodi
arxiv +4 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
core +3 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
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
Architected Lattices with a Topological Transition
Advanced Engineering Materials, EarlyView., 2023 This article develops topological metamaterials showing multidirectional two‐step deformation under compression by embedding contact‐enabled topological mechanisms into lattice structures. Experiments on 3D‐printed 2D and 3D lattices and finite element simulations are conducted to demonstrate the working principle of the topological metamaterials.
Shivam Agarwal, Lihua Jin
wiley +1 more source
Probabilistic description logic programs [PDF]
International Journal of Approximate Reasoning, 2006 AbstractTowards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the ...
Thomas Lukasiewicz
openalex +6 more sources
IEEE Intelligent Systems, 2014 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. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to ...
Krötzsch, M, Simancik, F, Horrocks, I
openaire +3 more sources
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