1663 search results - page 155 / 333 » Description Logics for Interoperability |
112
click to vote
FECS
2007
15 years 6 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
158
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
135
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
122
click to vote
DOOD
1995
Springer
15 years 8 months ago
1995
Springer
Wrappers provide access to heterogeneous information sources by converting application queries into source speci c queries or commands. In this paper we present a wrapper implemen...
139
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...