Sciweavers

485 search results - page 10 / 97
» Easy Keys for OWL
Sort
View
SEKE
2005
Springer
15 years 3 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
ER
2006
Springer
121views Database» more  ER 2006»
15 years 1 months ago
XBRL Taxonomies and OWL Ontologies for Investment Funds
The analysis of investment funds information requires the availability of homogeneous, both up-to-date and historical information of the funds considered, which is usually generate...
Rubén Lara, Iván Cantador, Pablo Cas...
ESWS
2010
Springer
15 years 2 months ago
OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples
Abstract. In previous work we have shown that the MapReduce framework for distributed computation can be deployed for highly scalable inference over RDF graphs under the RDF Schema...
Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Fra...
DEXAW
2008
IEEE
145views Database» more  DEXAW 2008»
14 years 11 months ago
ECQ: A Simple Query Language for the Semantic Web
With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems. In ...
María del Mar Roldán García, ...
NDT
2010
14 years 4 months ago
Ontology Based Tracking and Propagation of Provenance Metadata
Abstract. Tracking the provenance of application data is of key importance in the network environment due to the abundance of heterogeneous and controllable resources. We focus on ...
Miroslav Vacura, Vojtech Svátek