4212 search results - page 52 / 843 » Rights Expression Languages |
COLING
2010
14 years 9 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
127
click to vote
DLOG
2001
15 years 3 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
112
click to vote
ICESS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
ICTAC
2007
Springer
15 years 8 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.