2348 search results - page 330 / 470 » A Fuzzy Description Logic |
126
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
178
click to vote
WISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
178
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
157
click to vote
CP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
173
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...