3793 search results - page 423 / 759 » Expressive Description Logics |
188
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
185
click to vote
SFM
2007
Springer
16 years 25 days 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 ...
179
click to vote
SAC
2006
ACM
16 years 21 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...
169
click to vote
ADC
2004
Springer
16 years 4 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...
197
click to vote
NMR
2004
Springer
16 years 2 days 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...