Results 11 to 20 of about 3,595,838 (347)
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 +8 more sources
Description logic programs: combining logic programs with description logic [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.
Benjamin N. Grosof +3 more
semanticscholar +6 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
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
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
Applied Sciences, 2022 Laser powder bed fusion (LPBF) provides a rapid and cost-effective solution for fabricating metallic parts with near full density and high precision, strength, and stiffness directly from metallic powders. In LPBF, process variables are widely recognised
Zuyu Li +3 more
doaj +1 more source
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
On bisimulations for description logics [PDF]
Information Sciences, 2015 42 ...
Linh Anh Nguyen, Ali Rezaei Divroodi
openaire +2 more sources
An ontology design for validating childhood cancer registry data
Frontiers in Oncology, 2023 Ontologies can provide a valuable role in the work of cancer registration, particularly as a tool for managing and navigating the various classification systems and coding rules.
Nicholas Nicholson +2 more
doaj +1 more source
A Description Logic for Analogical Reasoning [PDF]
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021 Ontologies formalise how the concepts from a given domain are interrelated. Despite their clear potential as a backbone for explainable AI, existing ontologies tend to be highly incomplete, which acts as a significant barrier to their more widespread adoption.
Yazmín Ibáñez-García +2 more
openaire +4 more sources