3745 search results - page 27 / 749 » Sonic: System Description |
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
98
Voted
JSS
2008
15 years 1 months ago
2008
This paper focuses on the proposal, design, and implementation of AWL, the Adaptive Web Language. Also, an example application named PENS is explained and implemented in AWL. AWL ...
116
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
DEXAW
1997
IEEE
15 years 6 months ago
1997
IEEE
In order to solve the wear problem in terms of quality there is need for a experienced expert with a lengthy practice. Such valuable persons in practice are regularly missing and ...
PAPM
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...