Sciweavers

446 search results - page 18 / 90
» LTS semantics for use case models
Sort
View
LREC
2010
145views Education» more  LREC 2010»
15 years 1 months ago
Inter-Annotator Agreement on a Linguistic Ontology for Spatial Language - A Case Study for GUM-Space
In this paper, we present a case study for measuring inter-annotator agreement on a linguistic ontology for spatial language, namely the spatial extension of the Generalized Upper...
Joana Hois
115
Voted
SEMWEB
2005
Springer
15 years 5 months ago
Modeling Degrees of Conceptual Overlap in Semantic Web Ontologies
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
Markus Holi, Eero Hyvönen
SDB
1995
91views Database» more  SDB 1995»
15 years 3 months ago
Semantics in Spatial Databases
In this paper we discuss two data models for spatial database systems: the linear data model and the topological data model. Both can be used to model a wide range of applications....
Bart Kuijpers, Jan Paredaens, Luc Vandeurzen
CONCUR
2009
Springer
15 years 6 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
DLOG
2011
14 years 3 months ago
Concept Model Semantics for DL Preferential Reasoning
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
Arina Britz, Thomas Meyer, Ivan José Varzin...