Results 11 to 20 of about 4,114 (268)
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 ...
Benjamin N. Grosof +3 more
openaire +3 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 +5 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; id_orcid 0000-0003-1534-3332 +1 more
openaire +2 more sources
On bisimulations for description logics [PDF]
Information Sciences, 2015 42 ...
Ali Rezaei Divroodi, Linh Anh Nguyen
openaire +2 more sources
Description logics of context [PDF]
Journal of Logic and Computation, 2013 We introduce Description Logics of Context (DLCs)—an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify and express first-order properties.
Szymon Klarman +1 more
openaire +2 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 ...
Markus Krötzsch +2 more
openaire +2 more sources
Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
Journal of Computer Science and Technology, 2017 We present an approach for performing instance checking in possibilistic description logic programming ontologies by accruing arguments that support the membership of individuals to concepts.
Sergio Alejandro Gómez
doaj +1 more source
Description logic for coalitions
International Joint Conference on Autonomous Agents and Multiagent Systems, 2009 Coalition Logic (CL) is one of the most important formalisms for specification and verification of game-like multi-agent systems. Several extensions of the logic have been studied in the literature. These extensions are usually fusions (independent joins) of CL with other modal logics (e.g., temporal, epistemic, dynamic, etc.), and they are generally ...
Seylan, Inanç, Jamroga, Wojciech
openaire +4 more sources
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases [PDF]
Logical Methods in Computer ScienceThe necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may ...
Riccardo Zese +2 more
doaj +1 more source
Defining Cognitive Logics by Non-Classical Tableau Rules
Studies in Logic, Grammar and Rhetoric, 2016 In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj +1 more source