Sciweavers

408 search results - page 17 / 82
» Reasoning with Very Expressive Fuzzy Description Logics
Sort
View
FLAIRS
2006
13 years 9 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
ICDT
2003
ACM
127views Database» more  ICDT 2003»
14 years 27 days ago
On Reasoning about Structural Equality in XML: A Description Logic Approach
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
David Toman, Grant E. Weddell
JAR
2007
142views more  JAR 2007»
13 years 7 months ago
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
Ullrich Hustadt, Boris Motik, Ulrike Sattler
FUZZIEEE
2007
IEEE
13 years 11 months ago
The Parametric Modification of Fuzzy Sets Constituting a Content of Medical Linguistic Variables
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...
Elisabeth Rakus-Andersson
DLOG
2008
13 years 10 months ago
Rewriting Rules into SROIQ Axioms
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
Francis Gasse, Ulrike Sattler, Volker Haarslev