1375 search results - page 60 / 275 » SDL-2000: A Language with a Formal Semantics |
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
116
click to vote
RWEB
2010
Springer
14 years 8 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
DLOG
2011
14 years 1 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...