152 search results - page 21 / 31 » Keys for Free in Description Logics |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
57
Voted
ENTCS
2006
14 years 9 months ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
KES
2008
Springer
14 years 9 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
JTAER
2007
14 years 9 months ago
2007
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...
104
click to vote
DLOG
2010
14 years 7 months ago
2010
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...