4212 search results - page 52 / 843 » Rights Expression Languages |
112
click to vote
COLING
2010
14 years 12 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...
149
click to vote
DLOG
2001
15 years 6 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 ...
140
click to vote
ICESS
2004
Springer
15 years 10 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...
125
click to vote
ICTAC
2007
Springer
15 years 11 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...
113
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.