596 search results - page 15 / 120 » Integrated Distributed Description Logics |
OWLED
2008
14 years 11 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
114
click to vote
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
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...
RSP
1998
IEEE
15 years 1 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
RULEML
2004
Springer
15 years 3 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...