Results 1 to 10 of about 130,323 (314)
Unification in the Description Logic EL [PDF]
Logical Methods in Computer Science, 2010 The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies.
Franz Baader, Barbara Morawska
doaj +6 more sources
Reasoning with Individuals for the Description Logic SHIQ [PDF]
, 2000 While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered.
Horrock, Ian +2 more
core +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
+6 more sources
Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies
Information, 2022 Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge.
Thierry Louge +2 more
doaj +1 more source
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2
Future Internet, 2022 In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that Graphol is equivalent to OWL
Domenico Lembo +3 more
doaj +1 more source
Ontological analysis in the problems of container applications threat modelling
Informatika, 2023 Objectives. The main purpose of the work is the experimental verification of the method of automatic threat modelling based on the ontological approach using the example of multicomponent container applications presented in the form of data flow diagrams.
A. I. Brazhuk, E. V. Olizarovich
doaj +1 more source
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 +4 more sources
Description Logic Programs: Combining Logic Programs with Description Logic [PDF]
Proceedings of the twelfth international conference on World Wide Web - WWW '03, 2004 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
openalex +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; id_orcid 0000-0003-1534-3332 +1 more
openaire +2 more sources