1545 search results - page 210 / 309 » Defeasible Description Logics |
117
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
136
click to vote
SEMWEB
2007
Springer
15 years 10 months 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...
143
click to vote
SFM
2007
Springer
15 years 10 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 ...
145
click to vote
SAC
2006
ACM
15 years 10 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...
142
click to vote
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...