Matches in ScholarlyData for { ?s ?p ?o. }
- item-3 type ListItem.
- item-3 hasContent sofia-angeletou.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent mathieu-daquin.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent enrico-motta.
- item-5 previous item-4.
- 43 creator david-robertson.
- 43 creator paolo-besana.
- 43 type InProceedings.
- 43 label "How Service Choreography Statistics Reduce the Ontology Mapping Problem".
- 43 sameAs 43.
- 43 abstract "In open and distributed environments ontology mapping provides interoperability between interacting actors. However, conventional mapping systems focus on acquiring static information, and on mapping whole ontologies, which is infeasible in open systems. This paper shows that the interactions themselves between the actors can be used to predict mappings, simplifying dynamic ontology mapping. The intuitive idea is that similar interactions follow similar conventions and patterns, which can be analysed. The computed model can be used to suggest the possible mappings for the exchanged messages in new interactions. The suggestions can be evaluate by any standard ontology matcher: if they are accurate, the matchers avoid evaluating mappings unrelated to the interaction. The minimal requirement in order to use this system is that it is possible to describe and identify the interaction sequences: the OpenKnowledge project has produced an implementation that demonstrates this is possible in a fully peer-to-peer environment.".
- 43 hasAuthorList authorList.
- 43 hasTopic Grid_computing.
- 43 hasTopic Ontology_%28computer_science%29.
- 43 hasTopic Ontology_alignment.
- 43 hasTopic Peer-to-peer.
- 43 hasTopic Semantic_Web.
- 43 isPartOf proceedings.
- 43 title "How Service Choreography Statistics Reduce the Ontology Mapping Problem".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent paolo-besana.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent david-robertson.
- item-2 previous item-1.
- 435 creator dmitry-tishkovsky.
- 435 creator renate-schmidt.
- 435 type InProceedings.
- 435 label "Using Tableau to Decide Expressive Description Logics with Role Negation".
- 435 sameAs 435.
- 435 abstract "This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. In particular, we define a sound and complete tableau calculus for the description logic ALBO and show that it provides a basis for decision procedures for this logic and numerous other description logics with full role negation. ALBO is the extension of ALC with the Boolean role operators, inverse of roles, domain and range restriction operators and it includes full support for objects (nominals). ALBO is a very expressive description logic which is NExpTime complete and subsumes Boolean modal logic and the two-variable fragment of first-order logic. An important novelty is the use of a versatile, unrestricted blocking rule as a replacement for standard loop checking mechanisms implemented in description logic systems. An implementation of our approach exists in the MetTeL system.".
- 435 hasAuthorList authorList.
- 435 hasTopic Formal_language.
- 435 hasTopic Reasoning.
- 435 hasTopic Semantic_Web.
- 435 isPartOf proceedings.
- 435 title "Using Tableau to Decide Expressive Description Logics with Role Negation".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent renate-schmidt.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent dmitry-tishkovsky.
- item-2 previous item-1.
- 449 creator andrei-tamilin.
- 449 creator luciano-serafini.
- 449 type InProceedings.
- 449 label "Instance Migration in Heterogeneous Ontology Environments".
- 449 sameAs 449.
- 449 abstract "In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set of instances of a source ontology into a semantically related target ontology. Our approach exploits mappings between ontologies, which are used to reconcile both conceptual and individual level heterogeneity, and further used to draw the migration process. We ground the approach on a distributed description logic (DDL), in which ontologies are formally encoded as DL knowledge bases and mappings as bridge rules and individual correspondences. From the theoretical side, we study the task of reasoning with instance data in DDL composed of SHIQ ontologies and define a correct and complete distributed tableaux inference procedure. From the practical side, we upgrade the DRAGO DDL reasoner for dealing with instances and further show how it can be used to drive the migration of instances between heterogeneous ontologies.".
- 449 hasAuthorList authorList.
- 449 hasTopic Application_software.
- 449 hasTopic Formal_language.
- 449 hasTopic Information_integration.
- 449 hasTopic Ontology_%28computer_science%29.
- 449 hasTopic Reasoning.
- 449 hasTopic Semantic_Web.
- 449 isPartOf proceedings.
- 449 title "Instance Migration in Heterogeneous Ontology Environments".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent luciano-serafini.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent andrei-tamilin.
- item-2 previous item-1.
- 463 creator dietmar-jannach.
- 463 creator gerhard-friedrich.
- 463 creator kostyantyn-shchekotykhin.
- 463 creator olga-kozeruk.
- 463 type InProceedings.
- 463 label "ALLRIGHT: Automatic Ontology Instantiation from Tabular Web Documents".
- 463 sameAs 463.
- 463 abstract "The process of instantiating an ontology with high-quality and up-to-date instance information manually is both time consuming and prone to error. Automatic ontology instantiation from Web sources is one of the possible solutions to this problem and aims at the computer supported population of an ontology through the exploitation of (redundant) information available on the Web. In this paper we present AllRight, a comprehensive ontology instantiating system. In particular, the techniques implemented in AllRight are designed for application scenarios, in which the desired instance information is given in the form of tables and for which existing Information Extraction approaches based on statistical or natural language processing methods are not directly applicable. Within AllRight, we have therefore developed new techniques for dealing with tabular instance data and combined these techniques with existing methods. The system supports all necessary steps for ontology instantiation, i.e. web crawling, name extraction, document clustering as well as fact extraction and validation. AllRight has been successfully evaluated in the popular domains of digital cameras and notebooks leading to a about eighty percent accuracy of the extracted facts given only a very limited amount of seed knowledge.".
- 463 hasAuthorList authorList.
- 463 hasTopic Information_extraction.
- 463 hasTopic Natural_language_processing.
- 463 hasTopic Ontology_%28computer_science%29.
- 463 hasTopic Semantic_Web.
- 463 hasTopic Web_annotation.
- 463 isPartOf proceedings.