Fuzzy Description Logics and the Semantic Web (2005)
Cached
Download Links
| Citations: | 96 - 22 self |
BibTeX
@MISC{Straccia05fuzzydescription,
author = {Umberto Straccia and Benjamin C. Pierce and David N. Turner},
title = {Fuzzy Description Logics and the Semantic Web},
year = {2005}
}
Years of Citing Articles
OpenURL
Abstract
nd (universal child.Human 7 . is given in terms of an the domain (a non-empty set) an interpretation function that maps: (class) a (property) a an element of Interpretation extended to concept expressions: = = = = = \ = {x = {x 8 and . mapping to FOL: introduce unary an atomic binary a . Translate follows x) = x) = false t(A, x) ## A(x) x) = x) x) ## x) t(C, x) = t(#R.C, x) = y) t(#R.C, x) = 9 Knowledge . DL Knowledge Base is a A#, a TBox containing general inclusion axioms of the ("concept C"), i# definitions are of the (equiv A) concept definitions are of the Sometimes, a TBox can contain primitive and concept definitions only, where no atom can be defined more than once and no recursion is allowed complexity changes dramatically a ABox containing assertions of the







