1184 search results - page 207 / 237 » Description Logics for the Semantic Web |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
ITCC
2003
IEEE
14 years 1 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
WEBI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...