Sciweavers

476 search results - page 75 / 96
» Inconsistency-Tolerant Semantics for Description Logics
Sort
View
GEOS
2007
Springer
14 years 2 months ago
Algorithm, Implementation and Application of the SIM-DL Similarity Server
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
Krzysztof Janowicz, Carsten Keßler, Mirco Sc...
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 8 days ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
SEMWEB
2007
Springer
14 years 2 months ago
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. ...
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
14 years 2 months ago
Statistical Relational Learning with Formal Ontologies
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
Achim Rettinger, Matthias Nickles, Volker Tresp
JAPLL
2007
88views more  JAPLL 2007»
13 years 7 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit