1746 search results - page 182 / 350 » A Constructive Semantics for ALC |
159
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
128
Voted
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
142
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
170
Voted
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
171
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...