Matches in ScholarlyData for { ?s ?p ?o. }
- item-7 hasContent xuanjing-huang.
- item-7 previous item-6.
- 631 creator dimitris-zeginis.
- 631 creator vassilis-christophides.
- 631 creator yannis-tzitzikas.
- 631 type InProceedings.
- 631 label "On the Foundations of Computing Deltas between RDF models".
- 631 sameAs 631.
- 631 abstract "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.".
- 631 hasAuthorList authorList.
- 631 isPartOf proceedings.
- 631 title "On the Foundations of Computing Deltas between RDF models".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent dimitris-zeginis.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent yannis-tzitzikas.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent vassilis-christophides.
- item-3 previous item-2.
- 645 creator haofen-wang.
- 645 creator jie-zhang.
- 645 creator lei-zhang.
- 645 creator qiaoling-liu.
- 645 creator yong-yu.
- 645 creator yue-pan.
- 645 type InProceedings.
- 645 label "Semplore: An IR Approach to Scalable Hybrid Query of Semantic Web Data".
- 645 sameAs 645.
- 645 abstract "As an extension to the current Web, Semantic Web will not only contain structured data with machine understandable semantics but also textual information. While structured queries can be used to find information more precisely on the Semantic Web, keyword searches are still needed to help exploit textual information. It thus becomes very important that we can combine precise structured queries with imprecise keyword searches to have a hybrid query capability. In addition, due to the huge volume of information on the Semantic Web, the hybrid query must be processed in a very scalable way. In this paper, we define such a hybrid query capability that combines unary tree-shaped structured queries with keyword searches. We show how existing information retrieval (IR) index structures and functions can be reused to index semantic web data and its textual information, and how the hybrid query is evaluated on the index structure using IR engines in an efficient and scalable manner. We implemented this IR approach in an engine called Semplore. Comprehensive experiments on its performance show that it is a promising approach. It leads us to believe that it may be possible to evolve current web search engines to query and search the Semantic Web. Finally, we breifly describe how Semplore is used for searching Wikipedia and an IBM customer's product information.".
- 645 hasAuthorList authorList.
- 645 hasTopic Application_software.
- 645 hasTopic Data_management.
- 645 hasTopic Semantic_Web.
- 645 isPartOf proceedings.
- 645 title "Semplore: An IR Approach to Scalable Hybrid Query of Semantic Web Data".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasItem item-6.
- authorList hasLastItem item-6.
- item-1 type ListItem.
- item-1 hasContent lei-zhang.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent qiaoling-liu.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent jie-zhang.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent haofen-wang.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent yue-pan.
- item-5 next item-6.
- item-5 previous item-4.
- item-6 type ListItem.
- item-6 hasContent yong-yu.
- item-6 previous item-5.
- 659 creator fausto-giunchiglia.
- 659 creator jeff-z-pan.
- 659 creator kewen-wang.
- 659 creator rodney-topor.
- 659 creator yuting-zhao.
- 659 type InProceedings.
- 659 label "Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies".
- 659 sameAs 659.
- 659 abstract "Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. In general, these proposals reduce the autonomy of each ontology by defining the semantics of the ontology to depend on the semantics of the other ontologies. We propose a new framework for managing autonomy in a set of cooperating ontologies (or ontology space). In this framework, each language entity (concept/role/individual) in an ontology may have its meaning assigned either locally with respect to the semantics of its own ontology, to preserve the autonomy of the ontology, or globally with respect to the semantics of any neighbouring ontology in which it is defined, thus enabling semantic cooperation between multiple ontologies. In this way, each ontology has a "subjective semantics" based on local interpretation and a "foreign semantics" based on semantic binding to neighbouring ontologies. We study the properties of these two semantics and describe the conditions under which entailment and satisfiability are preserved. We also introduce two reasoning mechanisms under this framework: "cautious reasoning" and "brave reasoning". Cautious reasoning is done with respect to a local ontology and its neighbours (those ontologies in which its entities are defined); brave reasoning is done with respect to the transitive closure of this relationship. This framework is independent of ontology languages. As a case study, for Description Logic ALCN we present two tableau-based algorithms for performing each form of reasonings and prove their correctness.".
- 659 hasAuthorList authorList.
- 659 hasTopic Ontology_%28computer_science%29.
- 659 hasTopic Ontology_alignment.
- 659 hasTopic Semantic_Web.
- 659 hasTopic Software_agent.
- 659 hasTopic Web_service.
- 659 isPartOf proceedings.
- 659 title "Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasLastItem item-5.