Sciweavers

1512 search results - page 227 / 303
» Description Logic Terminology
Sort
View
TES
2005
Springer
14 years 1 months ago
A Lightweight Model-Driven Orchestration Engine for e-Services
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
Johann Oberleitner, Florian Rosenberg, Schahram Du...
WILF
2005
Springer
194views Fuzzy Logic» more  WILF 2005»
14 years 1 months ago
Learning Bayesian Classifiers from Gene-Expression MicroArray Data
Computing methods that allow the efficient and accurate processing of experimentally gathered data play a crucial role in biological research. The aim of this paper is to present a...
Andrea Bosin, Nicoletta Dessì, Diego Libera...
DSOM
2004
Springer
14 years 1 months ago
A Formal Validation Model for the Netconf Protocol
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...
ESWS
2004
Springer
14 years 1 months ago
The HCONE Approach to Ontology Merging
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
Konstantinos Kotis, George A. Vouros
WADT
2004
Springer
14 years 1 months ago
Ontologies for the Semantic Web in Casl
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
Klaus Lüttich, Till Mossakowski, Bernd Krieg-...