2694 search results - page 267 / 539 » A Description Logic of Change |
175
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...
183
click to vote
RULEML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
164
click to vote
ADC
2004
Springer
16 years 1 days ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
165
click to vote
KI
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
194
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...