Results 51 to 60 of about 3,794 (164)
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
Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions
Journal of Computer Science and Technology, 2015 We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PoDLoDA ontologies for short).
Sergio Alejandro Gómez
doaj
SEMANTIC IMAGE ANALYSIS USING A SYMBOLIC NEURAL ARCHITECTURE
Image Analysis and Stereology, 2010 Image segmentation and classification are basic operations in image analysis and multimedia search which have gained great attention over the last few years due to the large increase of digital multimedia content. A recent trend in image analysis aims at
Ilianna Kollia +3 more
doaj +1 more source
On two-variable guarded fragment logic with expressive local Presburger constraints [PDF]
Logical Methods in Computer ScienceWe consider the extension of the two-variable guarded fragment logic with local Presburger quantifiers. These are quantifiers that can express properties such as "the number of incoming blue edges plus twice the number of outgoing red edges is at ...
Chia-Hsuan Lu, Tony Tan
doaj +1 more source
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [PDF]
, 2008 Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
openaire +4 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
Logical Semantics and Norms: A Kantian Perspective
Phenomenology and Mind, 2017 It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates ...
Sérgio Mascarenhas
doaj +1 more source
Acta Polytechnica, 2000 In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory.
S. Hostomský, I. Jelínek
doaj
Expressive probabilistic description logics
Artificial Intelligence, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Mondes du Tourisme, 2012 The aim of this article is to identify spatial logics of a major touristic destination: Paris. Between 1863 and 2010, thanks to the analyze of travel guides (Guides Joanne-Guides bleus), it is possible to capture the spatial dynamics, the density of the ...
Laurie Lepan, Philippe Duhamel
doaj +1 more source