1462 search results - page 196 / 293 » Autoepistemic Description Logics |
180
click to vote
ICDE
2008
IEEE
16 years 23 days ago
2008
IEEE
— Secure Semantic Web applications, particularly those involving access control, are typically focused at the application-domain only, rather than taking a more holistic approach...
162
click to vote
AIMSA
2008
Springer
16 years 20 days ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
139
click to vote
ISVC
2007
Springer
16 years 14 days 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...
168
click to vote
SEMWEB
2007
Springer
16 years 13 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...
172
click to vote
SFM
2007
Springer
16 years 13 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 ...