Sciweavers

3081 search results - page 50 / 617
» A Formal Ontology of Properties
Sort
View
AIL
2008
93views more  AIL 2008»
14 years 12 months ago
An ontology in OWL for legal case-based reasoning
In this paper, we present an ontology in OWL for Legal Case-based Reasoning. We outline some of the main motivations for providing an ontology in OWL, then discuss Legal Case-base...
Adam Zachary Wyner
SAC
2008
ACM
14 years 11 months ago
Towards design patterns for ontology alignment
Aligning ontologies is a crucial and tedious task. Matching algorithms and tools provide support to facilitate the task of the user in defining correspondences between ontologies ...
François Scharffe, Jérôme Euze...
ESWS
2006
Springer
15 years 3 months ago
Ideas and Improvements for Semantic Wikis
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...
Jochen Fischer, Zeno Gantner, Steffen Rendle, Manu...
JUCS
2006
107views more  JUCS 2006»
14 years 11 months ago
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
Beate Bollig
FOIS
2006
15 years 1 months ago
A theory of granular parthood based on qualitative cardinality and size measures
We present a theory of granular parthood based on qualitative cardinality and size measures. Using standard mereological relations and qualitative, contextdependent relations such ...
Thomas Bittner, Maureen Donnelly