Sciweavers

9 search results - page 1 / 2
» Using Triples for Implementation: The Triple20 Ontology-Mani...
Sort
View
SEMWEB
2005
Springer
13 years 10 months ago
Using Triples for Implementation: The Triple20 Ontology-Manipulation Tool
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga
PSSS
2003
13 years 6 months ago
Representing Contextualized Data using Semantic Web Tools
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
Robert M. MacGregor, In-Young Ko
WER
2005
Springer
13 years 10 months ago
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
Alessandro Fantechi, Emilio Spinicci
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
14 years 5 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
SSDBM
2010
IEEE
308views Database» more  SSDBM 2010»
13 years 9 months ago
Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...
Satya Sanket Sahoo, Olivier Bodenreider, Pascal Hi...