Sciweavers

153 search results - page 11 / 31
» Deciding expressive description logics in the framework of r...
Sort
View
VAMOS
2010
Springer
14 years 11 months ago
A Deontic Logical Framework for Modelling Product Families
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
Patrizia Asirelli, Maurice H. ter Beek, Stefania G...
88
Voted
ECAI
1998
Springer
15 years 1 months ago
Description Logics with Concrete Domains and Aggregation
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
Franz Baader, Ulrike Sattler
ECAI
2010
Springer
14 years 7 months ago
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
Céline Hudelot, Jamal Atif, Isabelle Bloch
FLAIRS
2006
14 years 11 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
DEXAW
2002
IEEE
99views Database» more  DEXAW 2002»
15 years 2 months ago
Using Preference Order in Ontologies
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
Stijn Heymans, Dirk Vermeir