2776 search results - page 45 / 556 » System-Level Abstraction Semantics |
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this short paper we present a scenario and requirements for ontology matching posed by a geographical application, namely a semantic geocatalog, which is an integral p...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Where are all the semantic Web services today? In this paper, we briefly provide the preliminary results of searching the surface Web and the prominent citeseer archive ...
TBILLC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
TYPES
1993
Springer
14 years 2 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
JUCS
2008
13 years 10 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...