Sciweavers

3933 search results - page 155 / 787
» Argumentation in the Semantic Web
Sort
View
FCT
2005
Springer
16 years 15 hour ago
A Self-dependency Constraint in the Simply Typed Lambda Calculus
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
Aleksy Schubert
CIMCA
2005
IEEE
16 years 3 days ago
A Metadata Registry For Community Driven E-Learning Sites
We present the architecture and the interface of a metadata registry for a large e-learning site. The metadata registry is very simple to integrate by content and application prov...
Valentin Zacharias
RR
2010
Springer
15 years 4 months ago
A RESTful SWRL Rule Editor
The sparse application of the Semantic Web Rule Language is partly caused by a lack of intuitive rule editors. This applies both from a human user’s, as well as from a software i...
Carsten Keßler
ER
2004
Springer
119views Database» more  ER 2004»
15 years 12 months ago
OWL-Based Semantic Conflicts Detection and Resolution for Data Interoperability
Ontology provides sharing knowledge among different data sources which will help to clarify the semantics of information. OWL is being promoted as a standard for web ontology langu...
Changqing Li, Tok Wang Ling
COOPIS
2004
IEEE
15 years 10 months ago
A Necessary Condition for Semantic Interoperability in the Large
With new standards like RDF or OWL paving the way for the much anticipated semantic web, a new breed of large scale semantic systems is about to appear. Even if research on semanti...
Philippe Cudré-Mauroux, Karl Aberer