243 search results - page 25 / 49 » An Algebra for Composing Ontologies |
TSE
2008
13 years 8 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
In this poster, we describe a framework composed of the R2O mapping language and the ODEMapster processor to upgrade relational legacy data to the Semantic Web. The framework is b...
PPSWR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
FOIS
2006
13 years 10 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
IJBRA
2007
13 years 8 months ago
2007
: In this paper we explore issues in the development of the my Grid ontology, which is an OWL ontology designed to support service discovery through service annotation. There are c...