456 search results - page 21 / 92 » Semantic Foundations of Jade |
COORDINATION
2006
Springer
14 years 13 days ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
AIME
2011
Springer
12 years 8 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that descr...
GEOS
2009
Springer
14 years 1 months ago
2009
Springer
An ontology of observation and measurement is proposed, which models the relevant information processes independently of sensor technology. It is kept at a sufficiently general lev...
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...