3776 search results - page 580 / 756 » Partition-Based Logical Reasoning |
ER
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
OWLED
2008
13 years 9 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
SWWS
2008
13 years 9 months ago
2008
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...
EHCI
2001
13 years 9 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...