1375 search results - page 70 / 275 » SDL-2000: A Language with a Formal Semantics |
COLING
2010
14 years 4 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
ICESS
2005
Springer
15 years 3 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
103
click to vote
SPATIALCOGNITION
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
KCAP
2003
ACM
15 years 3 months ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
POPL
2009
ACM
15 years 4 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...