3032 search results - page 401 / 607 » Description Logic Rules |
139
click to vote
SFM
2007
Springer
15 years 9 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
142
Voted
SAC
2006
ACM
15 years 9 months 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...
136
Voted
RULEML
2005
Springer
15 years 9 months 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...
115
Voted
ADC
2004
Springer
15 years 9 months 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...
139
Voted
NMR
2004
Springer
15 years 9 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...