1568 search results - page 212 / 314 » Fusions of Description Logics |
SFM
2007
Springer
15 years 4 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 ...
SAC
2006
ACM
15 years 3 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...
RULEML
2005
Springer
15 years 3 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...
ADC
2004
Springer
15 years 3 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...
KI
2004
Springer
15 years 3 months 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...