2409 search results - page 228 / 482 » On Extended Regular Expressions |
165
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper proposes a framework for transforming and integrating heterogeneous XML data sources, making use of known correspondences from them to ontologies expressed in ...
170
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
145
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
149
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
166
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...