Sciweavers

1162 search results - page 100 / 233
» Monotonic Semantic Interpretation
Sort
View
ESWS
2008
Springer
15 years 26 days ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
JODL
2000
124views more  JODL 2000»
14 years 11 months ago
ScholOnto: an ontology-based digital library server for research documents and discourse
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...
Simon Buckingham Shum, Enrico Motta, John Domingue
100
Voted
IJIIDS
2010
136views more  IJIIDS 2010»
14 years 6 months ago
Kleisli category and database mappings
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
Zoran Majkic, Bhanu Prasad
COMPLEXITY
2007
116views more  COMPLEXITY 2007»
14 years 11 months ago
Life, information, entropy, and time: Vehicles for semantic inheritance
abstractions provides an additional supra-phenotypic vehicle for semantic inheritance, which supports the cultural heritages around which civilizations revolve. The following three...
Antony R. Crofts
ICFEM
2007
Springer
15 years 5 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang