1436 search results - page 169 / 288 » Description Logic Unplugged |
86
Voted
SWAP
2008
14 years 11 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
ER
2007
Springer
15 years 4 months 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...
93
Voted
WISE
2005
Springer
15 years 3 months 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 ...
CAV
2005
Springer
15 years 3 months 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...
83
Voted
CP
2005
Springer
15 years 3 months 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...