9145 search results - page 385 / 1829 » Description Logic Systems |
251
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
130
click to vote
ER
2007
Springer
16 years 1 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...
193
click to vote
WISE
2005
Springer
16 years 11 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 ...
165
click to vote
CP
2005
Springer
16 years 10 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...
177
click to vote
POLICY
2005
Springer
16 years 9 days 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...