2694 search results - page 270 / 539 » A Description Logic of Change |
175
click to vote
ER
2008
Springer
15 years 8 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...
182
click to vote
OWLED
2008
15 years 8 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...
185
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
152
click to vote
DLOG
2006
15 years 8 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
170
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...