2830 search results - page 117 / 566 » No Science without Semantics |
GI
2007
Springer
14 years 2 months ago
2007
Springer
: Data validation and cleaning are integral processes of the data quality management cycle. Domain specific knowledge is needed to detect and correct semantic errors. Ontologies c...
SOFSEM
2005
Springer
14 years 1 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
TLCA
2005
Springer
14 years 1 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...
SOFSEM
2004
Springer
14 years 1 months ago
2004
Springer
Ontology learning from texts has recently been proposed as a new technology helping ontology designers in the modelling process. Discovery of non–taxonomic relations is understoo...