BibSonomy publications for /tag/research_03Wed Nov 07 19:13:58 CET 2007Berlin, HeidelbergProceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Koreahttp://data.semanticweb.org/conference/iswc-aswc/2007/proceedingsNovember183--196LNCSHistory Matters: Incremental Ontology Reasoning Using Modules48252007ontology module ontology_(computer_science) using formal_language software_agent web_service 2007 iswc history reasoning research_03 semantic_web The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a technique for incremental reasoning - that is, reasoning that reuses information obtained from previous versions of an ontology - based on the notion of a module. Our technique does not depend on a particular reasoning calculus and thus can be used in combination with any reasoner. We have applied our results to incremental classification of OWL DL ontologies and found significant improvement over regular classification time on a set of real-world ontologies.Wed Nov 07 19:13:58 CET 2007Berlin, HeidelbergProceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Koreahttp://data.semanticweb.org/conference/iswc-aswc/2007/proceedingsNovember295--308LNCSThe Fundamentals of iSPARQL - A Virtual Triple Approach For Similarity-Based Semantic Web Tasks48252007isparql task iswc research_03 virtual 2007 fundamentals approach triple semantic web This research explores three SPARQL-based techniques to solve Semantic Web tasks that often require similarity measures, such as semantic data integration, ontology mapping, and Semantic Web service matchmaking. Our aim is to see how far it is possible to integrate customized similarity functions (CSF) into SPARQL to achieve good results for these tasks. Our first approach exploits virtual triples calling property functions to establish virtual relations among resources under comparison; the second approach uses extension functions to filter out resources that do not meet the requested similarity criteria; finally, our third technique applies new solution modifiers to post-process a SPARQL solution sequence. The semantics of the three approaches are formally elaborated and discussed. We close the paper with a demonstration of the usefulness of our iSPARQL framework in the context of a data integration and an ontology mapping experiment.Wed Nov 07 19:13:58 CET 2007Berlin, HeidelbergProceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Koreahttp://data.semanticweb.org/conference/iswc-aswc/2007/proceedingsNovember631--644LNCSOn the Foundations of Computing Deltas between RDF models48252007rdf iswc 2007 computing model foundation research_03 delta The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas can be employed to reduce the amount of data that need to be exchanged and managed over the network and hence build advanced SW synchronization and versioning services. By considering Deltas as sets of change operations, in this paper we study various RDF comparison functions in conjunction with the semantics of the underlying change operations and formally analyze their possible combinations in terms of correctness, minimality, semantic identity and redundancy properties.research_03Community for tag(s) research_03