Results 61 to 70 of about 3,794 (164)

Processing Incomplete Query Specifications in a Context-Dependent Reasoning Framework [PDF]

Journal of Systemics, Cybernetics and Informatics, 2013
Search is the most prominent web service, which is about to change dramatically with the transition to the Semantic Web. Semantic Web applications are expected to deal with complex conjunctive queries, and not always such queries can be completely and ...
Neli P. Zlatareva
doaj  

Ontology-Mediated Querying with Horn Description Logics. [PDF]

Kunstliche Intell (Oldenbourg), 2020
Sabellek L.
europepmc   +1 more source

Towards Light-Weight Probabilistic Model Checking

Journal of Applied Mathematics, 2014
Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages.
Savas Konur
doaj   +1 more source

Towards Contingent World Descriptions in Description Logics

Logic and Logical Philosophy, 2019
The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ...
openaire   +3 more sources

Design of Vulnerability Ontologies and Application of Logical Inference for Security Information and Events Menegement

Безопасность информационных технологий, 2013
In the paper the usage of the ontological approach, description logics and logical inference to the design of the data model of computer vulnerabilities and attacks is suggested.
Olga Vitalievna Polubelova, Igor Vitalievich Kotenko   +1 more
doaj  

Using description logics to evaluate the consistency of drug-class membership relations in NDF-RT. [PDF]

J Biomed Semantics, 2015
Winnenburg R, Mortensen JM, Bodenreider O.   +2 more
europepmc   +1 more source

Defeasible Description Logics [PDF]

, 2004
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
openaire   +1 more source

Towards an ontological representation of morbidity and mortality in Description Logics. [PDF]

J Biomed Semantics, 2012
Santana F, Freitas F, Fernandes R, Medeiros Z, Schober D.   +4 more
europepmc   +1 more source

Reasoning with rough description logics: An approximate concepts approach. [PDF]

Inf Sci (N Y), 2009
Jiang Y, Wang J, Tang S, Xiao B.
europepmc   +1 more source

Combining Description Logics, Description Graphs, and Rules

, 2009
The Web Ontology Language (OWL) is a well-known language for ontology modeling in the Semantic Web [9]. The World Wide Web Consortium (W3C) is currently working on a revision of OWL-- called OWL 2 [2]--whose main goal is to address some of the limitations of OWL.
openaire   +1 more source