1435 search results - page 204 / 287 » E-connections of Description Logics |
115
click to vote
ILP
2007
Springer
15 years 7 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
102
click to vote
KSEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
126
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
100
click to vote
RULEML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...