Results 21 to 30 of about 2,678,979 (243)
A cookbook for temporal conceptual data modelling with description logic [PDF]
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Ryzhikov, Vladislav +4 more
core +1 more source
General concept inclusions in fuzzy description logics [PDF]
, 2006 . Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which ...
Stoilos, G +7 more
core +3 more sources
A Proof Calculus for Automated Deduction in Propositional Product Logic
MathematicsPropositional product logic belongs to the basic fuzzy logics with continuous t-norms using the product t-norm (defined as the ordinary product of real numbers) on the unit interval [0,1].
Dušan Guller
doaj +1 more source
Undecidability of Fuzzy Description Logics
, 2011 Fuzzy description logics (DLs) have been investigated for over two decades, due to their capacity to formalize and reason with imprecise concepts. Very recently, it has been shown that for several fuzzy DLs, reasoning becomes undecidable. Although the proofs of these results differ in the details of each specific logic considered, they are all based on
Borgwardt, S, Penaloza, R
openaire +4 more sources
Supporting Fuzzy Rough Sets in Fuzzy Description Logics [PDF]
, 2009 Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and rough DLs. In this work, we provide a simple solution to join these two formalisms and define a fuzzy rough DL.
Bobillo F, Straccia U
openaire +3 more sources
Fuzzy Description Logic Programs [PDF]
, 2008 Description Logic Programs (DLPs), which combine the expressive power of classical description logics and logic programs, are emerging as an important ontology description language paradigm. In this work, we present fuzzy DLPs, which extend DLPs by allowing the representation of vague/imprecise information.
openaire +5 more sources
Modal Logics are Coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Pattinson, Dirk +4 more
core +2 more sources
Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation [PDF]
, 2008 Cimiano P, Haase P, Ji Q, et al. Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation. In: Proceedings of the ESWC Workshop on Advancing Reasoning on the Web: Scalability and Commonsense ...
Haase, Peter +7 more
core
Advanced Engineering Materials, EarlyView.The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
On the similarity relation within fuzzy ontology components [PDF]
, 2005 Ontology reuse is an important research issue. Ontology merging, integration, mapping, alignment and versioning are some of its subprocesses. A considerable research work has been conducted on them.
Bejaoui, Lotfi +2 more
core