liu.seSök publikationer i DiVA
Ändra sökning
Avgränsa sökresultatet
3456789 251 - 300 av 491
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 251.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Kaliyaperumal, Rajaram
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A Session-based Approach for Aligning Large Ontologies: Extended Semantic Web Conference2013Ingår i: The Semantic Web: Semantics and Big Data: 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings / [ed] Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph, Springer Berlin/Heidelberg, 2013, s. 46-60Konferensbidrag (Refereegranskat)
    Abstract [en]

    There are a number of challenges that need to be addressed when aligning large ontologies. Previous work has pointed out scalability and efficiency of matching techniques, matching with background knowledge, support for matcher selection, combination and tuning, and user involvement as major requirements. In this paper we address these challenges. Our first contribution is an ontology alignment framework that enables solutions to each of the challenges. This is achieved by introducing different kinds of interruptable sessions. The framework allows partial computations for generating mapping suggestions, partial validations of mappings suggestions and use of validation decisions in (re)computation of mapping suggestions and the recommendation of alignment strategies to use. Further, we describe an implemented system providing solutions to each of the challenges and show through experiments the advantages of the session-based approach.

  • 252.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten. Swedish e-Science Research Centre, Linköping University, Linköping, Sweden.
    Kaliyaperumal, Rajaram
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    A session-based ontology alignment approach enabling user involvement2017Ingår i: Semantic Web, ISSN 1570-0844, E-ISSN 2210-4968, Vol. 8, nr 2, s. 225-251Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    One of the current challenges in ontology alignment is the user involvement in the alignment process. To obtain high-quality alignments user involvement is needed for validation of matching results as well as in the mapping generation process. Further, there is a need for supporting the user in tasks such as matcher selection, combination and tuning.

    In this paper we introduce a conceptual ontology alignment framework that enables user involvement in a natural way. This is achieved by introducing different kinds of interruptible sessions. The framework allows partial computations for generating mapping suggestions, partial validations of mapping suggestions, recommendations for alignment strategies as well as the use of validation decisions in the (re-)computation of mapping suggestions and the recommendations. Further, we show the feasibility of the approach by implementing a session-based version of an existing system. We also show through experiments the advantages of our approach for ontology alignment as well as for evaluation of ontology alignment strategies.

  • 253.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Kaliyaperumal, Rajaram
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Contributions of LiU/ADIT to Ontology Alignment2012Ingår i: Advances in secure and networked information systems: the ADIT perspective ; Festschrift in honor of professor Nahid Shahmehri / [ed] Patrick Lambrix, Linköping: Linköping University Electronic Press, 2012, s. 97-108Kapitel i bok, del av antologi (Övrigt vetenskapligt)
    Abstract [en]

    This book contains contributions by current and former colleagues and PhD students of professor Nahid Shahmehri in celebration of her 60th birthday. Although it would be difficult to cover the full range of her academic contributions, we have at least been able to hint the importance and the breadth of her work. We have chosen the title ‘Advances in Secure and Networked Information Systems - The ADIT Perspective’ as many of the contributions of Nahid and her group have been in these areas, given a fairly broad interpretation of “networked information systems”. In this collection we have gathered both republications of past work as well as newly written articles.

  • 254.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Kamkar, Mariam
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Computer Science as an Integrated Part of Engineering Education1998Ingår i: Proceedings of the Third ACM SIGCSE/SIGCUE Conference on Integrating Technology into Computer Science Education, 1998, s. 153-156Konferensbidrag (Refereegranskat)
    Abstract [en]

    The Information Technology curriculum at Linköping University has as goal to form engineers with an integrated view of engineering. The teaching philosophy in this curriculum is Problem-Based Learning. The education in each term is organised in a number of themes where topics from different disciplines are integrated. We describe a particular term in the Information Technology curriculum as an example of the approach and the integration of computer science teaching with the teaching of other disciplines. An important advantage of the approach is that the students discover interactions between different disciplines and view the different topics as naturally connected. Also, the students seem to have a better understanding of the topics and are better motivated. Further, they obtain improved communication and co-operation skills. Another advantage is that the approach is appreciated by our female students, which has led to a higher percentage of female students in this curriculum compared to our other computer science curricula.

  • 255.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Kemp, GrahamChalmers University of Technology.
    Proceedings of the Seventh International Conference on Data Integration in the Life Sciences2010Proceedings (redaktörskap) (Refereegranskat)
  • 256.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Larocchia, Pierpaolo
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Learning Composite Concepts1998Ingår i: Proceedings of the International Workshop on Description Logics, 1998, s. 147-152Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper proposes a framework to learn concepts from different kinds of observations. We define a language to describe meta-concepts, that represent the sets of possible concepts that can be the result of learning given a set of observations. The kinds of observations that we have studied are subsumption, membership and part-of. We exemplify the framework by showing how composite concepts can be learned in a specific description logic and we show that previous machine learning approaches in description logics can be reformulated in our framework. 1 Introduction In [LM96] the problem of learning composite concepts was formulated in the framework of description logics. Description logics are restricted variants of firstorder logic providing a form of logical bias that dates back to semantic networks. Some recent work investigates concept learning in the context of description logics

    Learning Composite Concepts.. Available from: http://www.researchgate.net/publication/220956947_Learning_Composite_Concepts [accessed Jul 1, 2015].

  • 257.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A System for Debugging is-a Structure in Networked Taxonomies2011Ingår i: Demo proceeding of the 10th International Semantic Web Conference, 2011Konferensbidrag (Refereegranskat)
  • 258.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Debugging is-a structure in networked taxonomies,2011Ingår i: Proceedings of the Fourth International Workshop on Semantic Web Applications and Tools for Life Sciences, Association for Computing Machinery (ACM), 2011, s. 58-65Konferensbidrag (Refereegranskat)
    Abstract [en]

    With the proliferation of ontologies and their use in semantically-enabled applications, the issue of finding and repairing defects in ontologies has become increasingly important. In this paper we address the problem of defects in the is-a structure of taxonomies, the currently most frequently used kind of ontologies. We deal with both missing is-a relations as well as existing wrong is-a relations. The context of our study is a taxonomy network consisting of taxonomies networked by correct mappings. We propose a semi-automatic ontology debugging approach, which supports domain experts in debugging the is-a structure in taxonomies. We develop algorithms to detect and repair wrong and missing is-a relations. Further, we discuss an implemented system, RepOSE, and an experiment on real-world ontologies.

  • 259.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Debugging the missing is-a structure within taxonomies networked by partial reference alignments2013Ingår i: Data & Knowledge Engineering, ISSN 0169-023X, E-ISSN 1872-6933, Vol. 86, s. 179-205Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    With the proliferation of ontologies and their use in semantically-enabled applications, the issue of finding and repairing defects in ontologies has become increasingly important. Current work mostly targets debugging semantic defects in ontologies. In our work, we focus on another kind of severe defects, modeling defects, which require domain knowledge to detect and resolve. In particular, we debug the missing structural relations (is-a hierarchy) in a fundamental kind of ontologies, i.e. taxonomies. The context of our study is an ontology network consisting of several taxonomies networked by partial reference alignments. We use the ontology network as domain knowledge to detect the missing is-a relations in these ontologies. We also propose algorithms to generate possible repairing actions, rank missing is-a relations, recommend and execute repairing actions. Further, we discuss an implemented system RepOSE and experiments on ontologies of the Ontology Alignment Evaluation Initiative and the Finnish Ontology Library Service.

  • 260.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Using partial reference alignments to align ontologies2009Ingår i: ESWC: European Semantic Web Conference The Semantic Web: Research and Applications 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings / [ed] Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou and Elena Simperl, Springer Berlin/Heidelberg, 2009, Vol. 5554 LNCS, s. 188-202Konferensbidrag (Refereegranskat)
    Abstract [en]

    In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies. To obtain good results, we need to find the relationships between terms in the different ontologies, i.e. we need to align them. Currently, there already exist a number of ontology alignment systems. In these systems an alignment is computed from scratch. However, recently, some situations have occurred where a partial reference alignment is available, i.e. some of the correct mappings between terms are given or have been obtained. In this paper we investigate whether and how a partial reference alignment can be used in ontology alignment. We use partial reference alignments to partition ontologies, to compute similarities between terms and to filter mapping suggestions. We test the approaches on previously developed gold standards and discuss the results.

  • 261.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A system for repairing missing is-a structure in ontologies2009Ingår i: Semantic Web Applications and Tools for Life Sciences, 2009Konferensbidrag (Refereegranskat)
  • 262.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Aligning anatomy ontologies in the Ontology Alignment Evaluation Initiative2009Ingår i: 25th Workshop of the Swedish Artificial Intelligence Society, 2009, s. 13-20Konferensbidrag (Refereegranskat)
  • 263.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Repairing the missing is-a structure of ontologies2009Ingår i: The Semantic Web Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings / [ed] Asunción Gómez-Pérez, Yong Yu and Ying Ding, Springer Berlin/Heidelberg, 2009, 1, s. 76-90Konferensbidrag (Refereegranskat)
    Abstract [en]

    Developing ontologies is not an easy task and often the resultingontologies are not consistent or complete. Such ontologies,although often useful, also lead to problems when used insemantically-enabled applications. Wrong conclusions may bederived or valid conclusions may be missed. To deal with thisproblem we may want to repair the ontologies. Up to date most workhas been performed on finding and repairing the semantic defectssuch as unsatisfiable concepts and inconsistent ontologies. Inthis paper we tackle the problem of repairing modeling defects andin particular, the repairing of structural relations (is-ahierarchy) in the ontologies. We study the case where missing is-arelations are given. We define the notion of a structural repairand develop algorithms to compute repairing actions that wouldallow deriving the missing is-a relations in the repairedontology. Further, we define preferences between repairs. We alsolook at how we can use external knowledge to recommend repairingactions to a domain expert. Further, we discuss an implementedprototype and its use as well as an experiment using theontologies of the Anatomy track of the Ontology AlignmentEvaluation Initiative.

  • 264.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    RepOSE: an environment for repairing missing ontological structure2009Ingår i: The Semantic Web Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings / [ed] Asunción Gómez-Pérez, Yong Yu, Ying Ding, Springer Berlin/Heidelberg, 2009, 1, s. 365-366Konferensbidrag (Refereegranskat)
    Abstract [en]

    Developing ontologies is not an easy task and often the resultingontologies are not consistent or complete. Such ontologies,although often useful, also lead to problems when used insemantically-enabled applications. Wrong conclusions may bederived or valid conclusions may be missed. To deal with thisproblem we may want to repair the ontologies. Up to date most workhas been performed on finding and repairing the semantic defectssuch as unsatisfiable concepts and inconsistent ontologies. Inthis paper we tackle the problem of repairing modeling defects andin particular, the repairing of structural relations (is-ahierarchy) in the ontologies. We study the case where missing is-arelations are given. We define the notion of a structural repairand develop algorithms to compute repairing actions that wouldallow deriving the missing is-a relations in the repairedontology. Further, we define preferences between repairs. We alsolook at how we can use external knowledge to recommend repairingactions to a domain expert. Further, we discuss an implementedprototype and its use as well as an experiment using theontologies of the Anatomy track of the Ontology AlignmentEvaluation Initiative.

  • 265.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Maleki, Jalal
    Linköpings universitet, Institutionen för datavetenskap, Interaktiva och kognitiva system. Linköpings universitet, Tekniska högskolan.
    Learning composite concepts in description logics: A first step1996Ingår i: ISMIS: International Symposium on Methodologies for Intelligent Systems Foundations of Intelligent Systems 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings / [ed] Zbigniew W. Raś and Maciek Michalewicz, Springer Berlin/Heidelberg, 1996, s. 68-77Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper proposes the use of description logics as a representational framework for learning composite concepts. Description logics are restricted variants of first-order logic providing a form of logical bias that dates back to semantic networks. Some recent work investigates concept learning in the context of these formalisms. Also, having recognized the importance of part-whole hierarchies in commonsense reasoning, researchers have started to incorporate part-of reasoning into description logics. In our approach we represent composite concepts in such a formalism. On one hand we have a relatively rich representation language with an infinite space of possible concepts. On the other hand we have special constructs for handling part-of relations that can be used in the learning algorithm to reduce the overall search space.

  • 266.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Ouchterlony, Ulla
    Linköpings universitet, Matematiska institutionen, Beräkningsvetenskap. Linköpings universitet, Tekniska högskolan.
    Integration of Psychology, Economics and Information Technology in an Engineering Curriculum1999Ingår i: Computer Science Education, ISSN 0899-3408, E-ISSN 1744-5175, Vol. 9, nr 2, s. 162-180Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Engineers often work together with professionals from entirely different areas. Therefore, it is important for the engineers to understand enough of these other areas, where technology is used, to obtain good results. To this aim a term has been developed within the civil engineering curriculum in information technology at Linköpings universitet, where the students work and study together with students from the psychology and economics education programs. The information technology and economics students build companies together and perform a project. The psychology students act as consultants for the different companies. Subjects from six departments are integrated into the project. The students work and study together for different parts of the project, although the learning goals differ between the different programs. The cooperation in the project leads to a transfer of information and knowledge between the students. Experience also suggests that the students obta in a better motivation and an integrated view of technology and the other areas as a result of the integrated project. The learning method also promotes cooperation and understanding between different professional cultures.

  • 267.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Padgham, L
    Linköpings universitet, Institutionen för datavetenskap.
    A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application1996Ingår i: Proceedings of the International Workshop on Description Logics, 1996, s. 146-149Konferensbidrag (Refereegranskat)
  • 268.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Padgham, Lin
    Linköpings universitet, Institutionen för datavetenskap.
    Analysis of Part-of Reasoning in Description Logics for Use in a Document Management Application1995Ingår i: Proceedings of the Eighth International Symposium on Artificial Intelligence, 1995, s. 102-110Konferensbidrag (Refereegranskat)
  • 269.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Padgham, Lin
    Department of Computer Science, RMIT University, Melbourne, Vic. 3000, Australia.
    Conceptual modeling in a document management environment using part-of reasoning in description logics2000Ingår i: Data & Knowledge Engineering, ISSN 0169-023X, E-ISSN 1872-6933, Vol. 32, nr 1, s. 51-86Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The notion of giving support to composite objects in systems is gaining strength in a number of areas. In this paper we examine the usefulness of introducing part-of reasoning in a description logic in a document management environment. We identify key issues in both expressivity and inferencing. We define a language that allows for differentiating between different kinds of parts and definition of domains, number restrictions and ordering of parts. We identified also questions and inferences which are useful in document management. This has led us to define a part-of hierarchy for individuals and inferences concerning the assembly of composite objects.

  • 270.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Padgham, Lin
    Linköpings universitet, Institutionen för datavetenskap.
    Reasoning in Description Logics: A Document Management Application1995Ingår i: Proceedings of the International Workshop on Description Logics, 1995, s. 106-108Konferensbidrag (Refereegranskat)
  • 271.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Padgham, Lin
    Dept. of Computer Science, RMIT University, Melbourne, Australia.
    Using Knowledge Representation for Agent World Model1998Ingår i: Proceedings International Conference on Multi Agent Systems, IEEE Computer Society, 1998, s. 443-444Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper investigates the use of a description logic knowledge representation system, for representing and managing an agent's knowledge of the world for an intentional agent system. An existing application is represented using this mechanism, and the findings are discussed. A number of errors and/or inconsistencies were found in the original implementation using this methodology, indicating that it would be useful for consistency management. In addition there was a straight forward mapping from the domain knowledge to the knowledge representation system. An added benefit was a simplification of the plans required by the agent system.

  • 272.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Qi, GuilinSoutheast University, China.Horridge, MatthewStanford University, USA .
    Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings2012Proceedings (redaktörskap) (Refereegranskat)
  • 273.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Qi, GuilinSoutheast University, China.Horridge, MatthewStanford University, USA .Parsia, BijanUniversity of Manchester, UK.
    Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM132013Proceedings (redaktörskap) (Refereegranskat)
    Abstract [en]

    Developing ontologies is not an easy task and, as the ontologies grow in size, they are likely to show a number of defects. Such ontologies, although often useful, also lead to problems when used in semantically-enabled applications. Wrong conclusions may be derived or valid conclusions may be missed. Defects in ontologies can take different forms. Syntactic defects are usually easy to find and to resolve. Defects regarding style include such things as unintended re-dundancy. More interesting and severe defects are the modeling defects which require domain knowledge to detect and resolve such as defects in the structure, and semantic defects such as unsatisfiable concepts and inconsistent ontologies. Further, during the recent years more and more mappings between ontologies with overlapping information have been generated, e.g. using ontology alignment systems, thereby connecting the ontologies in ontology networks. This has led to a new opportunity to deal with defects as the mappings and other ontologies in the network may be used in the debugging of a particular ontology in the network. It also has introduced a new difficulty as the mappings may not always be correct and need to be debugged themselves.

    The WoDOOM series deals with these issues. This volume contains the pro-ceedings of its second edition: WoDOOM13 - Second International Workshop on Debugging Ontologies and Ontology Mappings held on May 27, 2013 in Montpellier, France. WoDOOM13 was an ESWC 2013 (10th Extended Semantic WebConference) workshop.

    In his excellent invited talk, Heiner Stuckenschmidt proposed approaches for debugging weighted ontologies. In this generalization of the classical debugging problem, axioms in the ontology to be debugged have weights assigned and the task is to remove axioms from this set such that the resulting model is consistent and the sum of weights is maximal. Further, there were presentations of six full papers. The topics included both detection and repair of defects. Several papers used patterns for the detection. Regarding repairing wrong information, one paper proposed a method for reformulating axioms with the aim to retain as much information as possible. Another paper formalized the repairing of missing information in ontologies as a new abductive reasoning problem. Finally, a recently started EU project was presented in which ontology and mapping management is one of the core components. Two of the papers were selected for republicationin the ESWC 2013 post-proceedings.

    The editors would like to thank the Program Committee for their work in enabling the timely selection of papers for inclusion in the proceedings. We also appreciate our cooperation with EasyChair as well as our publisher CEURWorkshop Proceedings.

    May 2013

    Patrick Lambrix

    Guilin Qi

    Matthew Horridge

    Bijan Parsia

  • 274.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Qi, GuilinSoutheast University, China.Horridge, MatthewStanford University, USA.Parsia, BijanManchester University, UK.
    Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM142014Proceedings (redaktörskap) (Refereegranskat)
    Abstract [en]

    Developing ontologies is not an easy task and, as the ontologies grow in size, they are likely to show a number of defects. Such ontologies, although often useful, also lead to problems when used in semantically-enabled applications. Wrong conclusions may be derived or valid conclusions may be missed. Defects in ontologies can take different forms. Syntactic defects are usually easy to find and to resolve. Defects regarding style include such things as unintended redundancy. More interesting and severe defects are the modeling defects which require domain knowledge to detect and resolve such as defects in the structure, and semantic defects such as unsatisfiable concepts and inconsistent ontologies. Further, during the recent years more and more mappings between ontologies with overlapping information have been generated, e.g. using ontology alignment systems, thereby connecting the ontologies in ontology networks. This has led to a new opportunity to deal with defects as the mappings and other ontologies in the network may be used in the debugging of a particular ontology in the network. It also has introduced a new difficulty as the mappings may not always be correct and need to be debugged themselves.

    The WoDOOM series deals with these issues. This volume contains the proceedings of its third edition: WoDOOM14 - Third International Workshop on Debugging Ontologies and Ontology Mappings held on May 26, 2014 in Anissaras/Hersonissou, Greece. WoDOOM14 was an ESWC 2014 (11th Extended Semantic Web Conference) workshop.

    In his excellent invited talk, Jérôme Euzenat considered the problem of revising a network of ontologies. Further, there were presentations of four research and two demonstration papers. The topics included work on defects regarding incorrectness and incompleteness and dealt with both detection and repair of defects.The editors would like to thank the Program Committee for their work in enabling the timely selection of papers for inclusion in the proceedings. We also appreciate our cooperation with EasyChair as well as our publisher CEURWorkshop Proceedings.

    May 2014

    Patrick Lambrix

    Guilin Qi

    Matthew Horridge

    Bijan Parsia

  • 275.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Rönnquist, Ralf
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska fakulteten.
    Terminological Logic Involving Time and Evolution: A Preliminary Report1993Ingår i: ISMIS: International Symposium on Methodologies for Intelligent Systems Methodologies for Intelligent Systems 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings / [ed] Jan Komorowski and Zbigniew W. Raś, Springer Berlin/Heidelberg, 1993, s. 162-171Konferensbidrag (Refereegranskat)
    Abstract [en]

    Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last two years, few attempts have been made to integrate these fields. We study the combination of the temporal logic LITE and a terminological logic to obtain a temporal terminological logic. We emphasize defining a terminological logic (T-LITE) where the extensions of concepts are time-dependent in the following sense: first, the individuals belonging to a concept are appearances of objects in a temporal context; secondly, we allow concepts to be defined in terms of developments of objects. A formal semantics for T-LITE is provided.

  • 276.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Shahmehri, Nahid
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    TRIFU: The Right Information For yoU1998Ingår i: System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on, Los Alamitos, CA, USA: IEEE Computer Society, 1998, s. 505-512Konferensbidrag (Refereegranskat)
    Abstract [en]

    The amount and complexity of information that is electronically available results in non-efficient information retrieval. To tackle this problem we propose to use a document knowledge base that contains semantic and structural information concerning the retrievable documents that is extracted from the actual documents. We discuss how such a document knowledge base can be implemented based on description logics technology. We have previously used this technology successfully in a document management setting. We show that using such a document knowledge base results in support for advanced query functionality where structural, non-structural and semantic information can be taken into account in an integrated way. The use of the document knowledge base supports retrieval and maintenance of information as well.

     

  • 277.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Shahmehri, Nahid
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Wahllöf, Niclas
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    A default extension to description logics for use in an intelligent search engine1998Ingår i: Proceedings of the Thirty-First Hawaii International Conference on System Sciences: Volume V: Modeling Technologies and Intelligent Systems Track / [ed] Dolk, DR, Los Alamitos, CA, USA: IEEE Computer Society, 1998, Vol. 5, s. 28-35Konferensbidrag (Refereegranskat)
    Abstract [en]

    In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a difficult task. We identified two major difficulties that are experienced using existing search engines. These difficulties are that many of the existing search engines only take syntactic information into account and therefore do not find all relevant documents, and that many of the retrieved documents do not contain relevant information. We present a search engine that tackles both of these problems. The system, Dwebic, is based on a description logic knowledge base that deals with strict taxonomic information as well as with default information. We define this description logic and introduce a new kind of inference. Dwebic has a World Wide Web interface, but our approach does not depend on the World Wide Web.

  • 278.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Strömbäck, Lena
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Teaching databases to hundreds of engineering students2007Ingår i: Workshop on Computer Science Education,2007, 2007Konferensbidrag (Refereegranskat)
    Abstract [en]

    Yearly, we teach basic database courses to about two to four hundred engineering students with different backgrounds and different requirements. We also have a limited amount of teacher resources. To deal with this situation we have organized our course topics in the form of modules. A database course is then defined by a number of modules together with a mini-project. We discuss this organization and give an evaluation.

  • 279.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Strömbäck, Lena
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Where is my protein? - Issues in Information Integration2008Ingår i: BIOFORUM Europe, ISSN 1611-597X, Vol. 12, nr 1-2, s. 24-25Artikel i tidskrift (Övrig (populärvetenskap, debatt, mm))
  • 280.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Strömbäck, Lena
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Where is my protein? - Issues in Information Integration2007Ingår i: BIOFORUM Europe, ISSN 1611-597X, Vol. 11, nr 7-8, s. 24-26Artikel i tidskrift (Övrig (populärvetenskap, debatt, mm))
  • 281.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Strömbäck, Lena
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Information integration in bioinformatics with ontologies and standards2009Ingår i: Semantic Techniques for the Web: The REWERSE perspective, Springer Berlin/Heidelberg, 2009, 1, s. 343-376Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    New experimental methods allow researchers within molecular and systems biology to rapidly generate larger and larger amounts of data. This data is often made publicly available on the Internet and although this data is extremely useful, we are not using its full capacity. One important reason is that we still lack good ways to connect or integrate information from different resources. One kind of resource is the over 1000 data sources freely available on the Web. As most data sources are developed and maintained independently, they are highly heterogeneous. Information is also updated frequently. Other kinds of resources that are not so well-known or commonly used yet are the ontologies and the standards. Ontologies aim to define a common terminology for a domain of interest. Standards provide a way to exchange data between data sources and tools, even if the internal representations of the data in the resources and tools are different. In this chapter we argue that ontological knowledge and standards should be used for integration of data. We describe properties of the different types of data sources, ontological knowledge and standards that are available on the Web and discuss how this knowledge can be used to support integrated access to multiple biological data sources. Further, we present an integration approach that combines the identified ontological knowledge and standards with traditional information integration techniques. Current integration approaches only cover parts of the suggested approach. We also discuss the components in the model on which much recent work has been done in more detail: ontology-based data source integration, ontology alignment and integration using standards. Although many of our discussions in this chapter are general we exemplify mainly using work done within the REWERSE working group on Adding Semantics to the Bioinformatics Web.

  • 282.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A Framework for Aligning Ontologies2005Ingår i: PPSWR: International Workshop on Principles and Practice of Semantic Web Reasoning Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings / [ed] François Fages and Sylvain Soliman, Springer Berlin/Heidelberg, 2005, s. 17-31Konferensbidrag (Refereegranskat)
    Abstract [en]

    Ontologies are an important technology for the Semantic Web. In different areas ontologies have already been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies and thus the ontologies need to be aligned. Currently, there exist a number of systems that support users in aligning ontologies, but not many comparative evaluations have been performed. In this paper we present a general framework for aligning ontologies where different alignment strategies can be combined. Further, we exemplify the use of the framework by describing a system (SAMBO) that is developed according to this framework. Within this system we have implemented some already existing alignment algorithms as well as some new algorithms. We also show how the framework can be used to experiment with combinations of strategies. This is a first step towards defining a framework that can be used for comparative evaluations of alignment strategies. For our tests we used several well-known bio-ontologies.

  • 283.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A semi-automatic tool for merging bio-ontologies2004Ingår i: Fourth Swedish Bioinformatics Workshop for PhD students and PostDocs, 2004Konferensbidrag (Övrigt vetenskapligt)
  • 284.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A Semi-Automatic Tool for Merging Bio-Ontologies2004Ingår i: Bioinformatics 2004, 2004, s. 55-55Konferensbidrag (Övrigt vetenskapligt)
  • 285.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A Tool for Evaluating Ontology Alignment Strategies2007Ingår i: Journal on Data Semantics, ISSN 1861-2032, Vol. VIII, s. 182-202Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Ontologies are an important technology for the Semantic Web. In different areas ontologies have already been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies. To obtain good results, we need to find the relationships between terms in the different ontologies, i.e. we need to align them. Currently, there exist a number of systems that support users in aligning ontologies, but not many comparative evaluations have been performed and there exists little support to perform such evaluations. However, the study of the properties, the evaluation and comparison of the alignment strategies and their combinations, would give us valuable insight in how the strategies could be used in the best way. In this paper we propose the KitAMO framework for comparative evaluation of ontology alignment strategies and their combinations and present our current implementation. We evaluate the implementation with respect to performance. We also illustrate how the system can be used to evaluate and compare alignment strategies and their combinations in terms of performance and quality of the proposed alignments. Further, we show how the results can be analyzed to obtain deeper insights into the properties of the strategies.

  • 286.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Aligning Biomedical Ontologies2007Ingår i: Integrative Bioinformatics Workshop,2007, 2007Konferensbidrag (Refereegranskat)
  • 287.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Merging DAML plus OIL Ontologies2005Ingår i: Databases and Information Systems: (Selected Papers from the Sixth International Baltic Conference DB&IS'2004) / [ed] Janis Barzdins, Albertas Caplinskas, IOS Press, 2005, s. 249-258Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Modern databases and information systems essentially differ from their predecessors. Ontology-based and knowledge-based approaches to system development, UML based IS development methodologies, XML databases and heterogeneous information models have come to the fore. All these fundamental aspects are discussed in this book. This publication contains a collection of 22 high quality papers written by 44 authors. These articles present original results in modern database technologies, database applications, data warehousing, data mining, ontologies, and modern information systems. Special emphasis is put on multimedia database systems, heterogeneous data integration methods, view optimizations, ontology engineering tools, modeling and model transformations (MDA). Theoretical aspects as well as technical development issues are considered. The intended audience for this book is researchers, advanced students and practitioners who are interested in advanced topics on databases and information systems

  • 288.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Merging DAML+OIL Ontologies2004Ingår i: International Baltic Conference on Databases and Information Systems,2004, 2004, s. 425-Konferensbidrag (Refereegranskat)
  • 289.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Ontology alignment and merging2008Ingår i: Anatomy Ontologies for Bioinformatics: Principles and Practice / [ed] Albert Burger, Duncan Davidson, Richard Baldock, Springer Publishing Company, 2008, s. 133-150Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    In recent years many biomedical ontologies, including anatomy ontologies, have been developed. Many of these ontologies contain overlapping information and often we would want to be able to use multiple ontologies. This requires finding the relationships between terms in the different ontologies, i.e. we need to align them. Sometimes we also want to merge ontologies into a new one. In this chapter we give an overview of current ontology alignment and merging systems. We focus on systems that compute similarities between terms in the different ontologies. We present a general framework for these kind of systems and discuss the existing strategies. We also present such a system (SAMBO) and discuss its use using anatomy ontologies. Further, we take a first step in dealing with the problem of using the best alignment algorithms for the ontologies we want to align. We present and illustrate the use of a framework and a tool (KitAMO) for comparative evaluation of ontology alignment strategies and their combinations.

  • 290.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    SAMBO – A System for Aligning and Merging Biomedical Ontologies2006Ingår i: Journal of Web Semantics, ISSN 1570-8268, E-ISSN 1873-7749, Vol. 4, nr 3, s. 196-206Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Due to the recent explosion of the amount of on-line accessible biomedical data and tools, finding and retrieving the relevant information is not an easy task. The vision of a Semantic Web for life sciences alleviates these difficulties. A key technology for the Semantic Web is ontologies. In recent years many biomedical ontologies have been developed and many of these ontologies contain overlapping information. To be able to use multiple ontologies they have to be aligned or merged. In this paper we propose a framework for aligning and merging ontologies. Further, we developed a system for aligning and merging biomedical ontologies (SAMBO) based on this framework. The framework is also a first step towards a general framework that can be used for comparative evaluations of alignment strategies and their combinations. In this paper we evaluated different strategies and their combinations in terms of quality and processing time and compared SAMBO with two other systems.

  • 291.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Jakoniené, Vaida
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Strömbäck, Lena
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Biological Ontologies2007Ingår i: Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences / [ed] Christopher J.O. Baker and Kei-Hoi Cheung, Springer , 2007, s. 85-99Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Biological ontologies define the basic terms and relations in biological domains and are being used among others, as community reference, as the basis for interoperability between systems, and for search, integration, and exchange of biological data. In this chapter we present examples of biological ontologies and ontology-based knowledge, show how biological ontologies are used and discuss some important issues in ontology engineering.

  • 292.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Liu, Qiang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    SAMBO and SAMBOdtf results for the Ontology Alignment Evaluation Initiative 20082008Ingår i: Third International Workshop on Ontology Matching, 2008, s. 190-198Konferensbidrag (Refereegranskat)
  • 293.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Tan, He
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Xu, Wei
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Literature-based alignment of ontologies.2008Ingår i: Third International Workshop on Ontology Matching, 2008, s. 219-223Konferensbidrag (Refereegranskat)
  • 294.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan. Swedish e-Science Research Centre, Linköping University, Sweden .
    Wei-Kleiner, Fang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Dragisic, Zlatan
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Completing the is-a structure in light-weight ontologies2015Ingår i: Journal of Biomedical Semantics, ISSN 2041-1480, E-ISSN 2041-1480, Vol. 6, artikel-id 12Artikel i tidskrift (Refereegranskat)
    Abstract [en]

     Background: With the increasing presence of biomedical data sources on the Internet more and more research effort is put into finding possible ways for integrating and searching such often heterogeneous sources. Ontologies are a key technology in this effort. However, developing ontologies is not an easy task and often the resulting ontologies are not complete. In addition to being problematic for the correct modelling of a domain, such incomplete ontologies, when used in semantically-enabled applications, can lead to valid conclusions being missed.

    Results: We consider the problem of repairing missing is-a relations in ontologies. We formalize the problem as a generalized TBox abduction problem. Based on this abduction framework, we present complexity results for the existence, relevance and necessity decision problems for the generalized TBox abduction problem with and without some specific preference relations for ontologies that can be represented using a member of the EL family of description logics. Further, we present algorithms for finding solutions, a system as well as experiments.

    Conclusions: Semantically-enabled applications need high quality ontologies and one key aspect is their completeness. We have introduced a framework and system that provides an environment for supporting domain experts to complete the is-a structure of ontologies. We have shown the usefulness of the approach in different experiments. For the two Anatomy ontologies from the Ontology Alignment Evaluation Initiative, we repaired 94 and 58 initial given missing is-a relations, respectively, and detected and repaired additionally, 47 and 10 missing is-a relations. In an experiment with BioTop without given missing is-a relations, we detected and repaired 40 new missing is-a relations.

  • 295.
    Lambrix, Patrick
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Wei-Kleiner, Fang
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Dragisic, Zlatan
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Ivanova, Valentina
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Repairing missing is-a structure in ontologies is an abductive reasoning problem2013Ingår i: Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings / [ed] Patrick Lambrix; Guilin Qi; Matthew Horridge; Bijan Parsia, Rheinisch-Westfaelische Technische Hochschule Aachen University , 2013, s. 33-44Konferensbidrag (Refereegranskat)
    Abstract [en]

    With the increased use of ontologies in semantically-enabled applications, the issue of debugging defects in ontologies has become increasingly important. These defects can lead to wrong or incomplete results for the applications. Debugging consists of the phases of detection and repairing. In this paper we focus on the repairing phase of a particular kind of defects, i.e., the missing relations in the is-a hierarchy. We show that this can be formalized as an abduction problem. Further, we define properties for the ontology, the set of is-a relations to repair and the domain expert, as well as preference criteria on solutions and discuss the influences of these properties and criteria on the existence of solutions for the abduction problem. We also discuss the consequences of our analyses of the repairing problem for the development and use of debugging systems.

  • 296.
    Larranaga, P.
    et al.
    Larrañaga, P., Department of Computer Science and Artificial Intelligence, University of the Basque Country, Spain.
    Lozano, J.A.
    Department of Computer Science and Artificial Intelligence, University of the Basque Country, Spain.
    Peña, Jose M.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Inza, I.
    Department of Computer Science and Artificial Intelligence, University of the Basque Country, Spain.
    Machine Learning: Editorial2005Ingår i: Machine Learning, ISSN 0885-6125, E-ISSN 1573-0565, Vol. 59, nr 3, s. 211-212s. 211-212Artikel i tidskrift (Övrigt vetenskapligt)
  • 297.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    The Design and Implementation of Optimization Approaches for Large Scale Ontology Alignment in SAMBO2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The current World Wide Web provides a convenient way for people to acquire information,but it does not have the ability to manipulate semantics. In other words, peoplecan access data from web pages efficiently but computer programs cannot satisfy effectivedata reuse and sharing. Tim Berners-Lee as the inventor ofWorldWideWeb together withJames Hendler and Ora Lassila, proposed the idea of Semantic Web that is expected as anevolution to existing Web. The knowledge representation for Semantic Web witnessed thedevelopment from extensible makeup language (XML) and resource description framework(RDF) to ontologies. A large quantity of researchers utilize ontologies to expressconcepts, relations and relevant semantics in specific domains. However, different researchersmay have diverse comprehension about knowledge that brings inconsistentinformation in same or similar ontologies.

    SAMBO is an ontology alignment system that was designed and implemented by ADITof Linköping University in 2005. Shortly after implementation, SAMBO could accomplishmost tasks of ontology alignment. Nevertheless, as the scale grows rapidly, SAMBO couldnot achieve large scale ontology alignment. The primary job of this thesis is to optimizeexisting SAMBO system to fulfill alignment of large scale ontologies.

    The principal parts of this thesis are as follows. First, we achieve an analysis on currenttop ontology alignment systems, AML and LogMap which are capable of aligning largescale ontologies. This analysis aims to obtain the features in the design of high-quality systems.Then, we analyze existing SAMBO to figure out which aspects need to be optimized.We obtain the result that SAMBO should be improved in data structure, database designand parallel matching. Thus, we propose the design of optimization approaches and givethe implementation. Finally, we evaluate the new system with large scale ontologies andacquire desired results.

  • 298.
    Lin, Yezhi
    et al.
    Wenzhou Med Univ, Peoples R China.
    Jin, Xinyuan
    Wenzhou Univ, Peoples R China.
    Chen, Jiuqiang
    Wenzhou Med Univ, Peoples R China.
    Sodhro, Ali Hassan
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Pan, Zhifang
    Wenzhou Med Univ, Peoples R China.
    An analytic computation-driven algorithm for Decentralized Multicore Systems2019Ingår i: Future generations computer systems, ISSN 0167-739X, E-ISSN 1872-7115, Vol. 96, s. 101-110Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In the modern era, increasing numbers of cores per chip are applied for decentralized systems, but there is not any appropriate symbolic computation approach to construct multicore analytic approximation. Thus, it is essential to develop an efficient, simple and unified way for decentralized Adomian decomposition method to increase the potential speed of the multicore systems. In our paper, we present an innovative parallel algorithm of constructing analytic solutions for nonlinear differential system, which based on the Adomian-Rach double decomposition method and Rachs Adomian polynomials. Based on our algorithm, we further developed a user-friendly Python software package to construct analytic approximations of initial or boundary value problems. Finally, the scope of validity of our Python software package is illustrated by several different types of nonlinear examples. The obtained results demonstrate the effectiveness of our package by compared with exact solution and numeric method, the characteristics of each class of Adomian polynomials and the efficiency of parallel algorithm with multicore processors. We emphasis that the super-linear speedup may happens for the duration of constructing approximate solutions. So, it can be considered as a promising alternative algorithm of decentralized Adomian decomposition method for solving nonlinear problems in science and engineering. (C) 2019 Elsevier B.V. All rights reserved.

  • 299.
    Lind, Jonas
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Utveckling av internt Administrationssystem2014Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta examensarbete är utfört åt Business Unit Ericsson Test Environment (BETE), i Linköping. BETE är den avdelning på Ericsson som är ansvarig för drift och underhåll av företagets Operation Support System (OSS). Deras administrationssystem var föråldrat och de ville att den skulle uppdateras och få nya funktioner. Informationen i den gamla databasen skulle behållas men överföras till en ny databas utan licenskostnader. Systemet behövde även en del där anställda kan hantera befintliga användare.

    Som programmeringsspråk valdes PHP för dess dynamiska möjligheter, plattformsoberoende och goda stöd för databaskopplingar. För lagring av data används en MySQL-databas eftersom den är gratis, täcker våra behov och är enkel att integrera med PHP.

    Resultatet blev en fullt funktionell version av BETEs interna administrationssytem som är klart för att tas i bruk. Denna rapport handlar om hur vi gått tillväga för att migrera databasen och förnya administrationssystemet, om vilka problem som uppstått och vilka lösningar som tagits fram.

  • 300.
    Linder, Tova
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Persson, Pontus
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Forsberg, Anton
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Danielsson, Jakob
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Carlsson, Niklas
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    On Using Crowd-sourced Network Measurements for Performance Prediction2016Ingår i: Proc. IEEE/IFIP Wireless On-demand Network Systems and Services Conference (IEEE/IFIP WONS), Cortina d'Ampezzo, Italy, Jan. 2016., IEEE Computer Society Digital Library, 2016, s. 1-8Konferensbidrag (Refereegranskat)
    Abstract [en]

    Geo-location-based bandwidth prediction together with careful download scheduling for mobile clients can be used to minimize download times, reduce energy usage, and improve streaming performance. Although crowd-sourced measurements provide an important prediction tool, little is known about the prediction accuracy and improvements such datasets can provide. In this paper we use a large-scale crowd-sourced dataset from Bredbandskollen, Sweden's primary speedtest service, to evaluate the prediction accuracy and achievable performance improvements with such data. We first present a scalable performance map methodology that allows fast insertion/retrieval of geo-sparse measurements, and use this methodology to characterize the Bredbandskollen usage. Second, we analyze the bandwidth variations and predictability of the download speeds observed within and across different locations, when accounting for various factors. Third, we evaluate the relative performance improvements achievable by users leveraging different subsets of measurements (capturing effects of limited sharing or filtering based on operator, network technology, or both) when predicting opportune locations to perform downloads. Our results are encouraging for both centralized and peer-to-peer performance map solutions. For example, most measurements are done in locations with many measurements and good prediction accuracy, and further improvements are possible through filtering (e.g., based on operator and technology) or limited information sharing.

3456789 251 - 300 av 491
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf