检索结果-内蒙古大学图书馆

ScholarLensViz: A visualization framework for transparency in semantic user profiles 19

学校读者我要写书评

暂无评论

ScholarLensViz: A visualization framework for transparency i...

19th International Semantic Web Conference on Demos and Industry Tracks: From Novel Ideas to Industrial Practice, ISWC-Posters 2020

作者： Felicitas Loffe Valentin Wesp Samira Babalou Philipp Kahn Rene Lachmann Bahar Sateli Rene Witte Birgitta Konig-Ries Heinz Nixdorf Chair for Distributed Information Systems Institute for Computer Science Friedrich Schiller University Jena Germany Michael Stifel Center for Data-Driven and Simulation Science Jena Germany Halle-Jena-Leipzig Germany Semantic Software Lab Concordia University Montreal Canada

Personalized applications are a two-edged sword. They are convenient and assist users by keeping the focus on relevant topics, but they are often black boxes and users typically do not know why certain entries appear in their profile. As transparency and provenance are essential for researchers, in this paper, we introduce ScholarLensViz, a visualization component for scholarly user profiles displaying a scholar's research competences including the provenance. It also provides visualizations to inspect the diversity of a profile and to analyze the semantic similarity of the profile entries. © 2020 CEUR-WS. All rights reserved.

关键词： Visualization

City Models: Past, Present and Future Prospects

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Ritter, Helge Herzog, Otthein Rothermel, Kurt Cohn, Anthony G. Wu, Zhiqiang College of Architecture and Urban Planning Tongji University 1239 Siping Road Shanghai200092 China Faculty of Technology Bielefeld University Universitätsstr.25 Bielefeld33615 Germany Institute of Parallel and Distributed Systems University of Stuttgart Universitätsstr. 38 Stuttgart70569 Germany FB 03 University of Bremen Bibliotheksstr. 5 Bremen28539 Germany School of Computer Science University of Leeds LeedsLS2 9JT United Kingdom The Alan Turing Institute LondonNW1 2DB United Kingdom

This paper attempts to take a comprehensive look at the challenges of representing the spatio-temporal structures and dynamic processes that define a city’s overall characteristics. For the task of urban planning and urban operation, we take the stance that even if the necessary representations of these structures and processes can be achieved, the most important representation of the relevant mindsets of the citizens are, unfortunately, mostly neglected. After a review of major "traditional" urban models of structures behind urban scale, form, and dynamics, we turn to major recent modeling approaches triggered by recent advances in AI that enable multimodal generative models. Some of these models can create representations of geometries, networks and images, and reason flexibly at a human-compatible semantic level. They provide huge amounts of knowledge extracted from huge collections of text and image documents and cover the required rich representation spectrum including geographic knowledge by different knowledge sources, degrees of granularity and scales. We then discuss what these new opportunities mean for coping with the modeling challenges posed by cities, in particular with regard to the role and impact of citizens and their interactions within the city infrastructure. We propose to integrate these possibilities with existing approaches, such as agent-based models, which opens up new modeling spaces including rich citizen models which are able to also represent social interactions. Finally, we put forward some thoughts about a vision of a "social AI in a city ecosystem" that adds relevant citizen models to state-of-the-art structural and process models. This extended city representation will enable urban planners to establish citizen-oriented planning of city infrastructures, to make them into inviting environments that reconcile and foster human culture, city resilience and sustainability. © 2025, CC BY-NC-ND.

关键词： Digital elevation model

GMRS: Reconciliation of generic merge requirements in ontology integration 15

学校读者我要写书评

暂无评论

GMRS: Reconciliation of generic merge requirements in ontolo...

15th International Conference on Semantic systems, SEMPDS 2019

作者： Babalou, Samira König-Ries, Birgitta Heinz-Nixdorf Depart for Distributed Information Systems Institute for Computer Science Friedrich Schiller University Jena Germany

With growing popularity of ontologies as semantics-aware integration solutions, various ontology merging methods have been proposed. Each of them uses their own set of criteria to determine a desirable merge result. In this work, we first categorize these criteria into generic merge requirements (GMRs). Not all of these requirements can be met simultaneously. We argue that users should be able to select those requirements that are most important to them, but that system support is required to determine a compatible set of requirements based on user inputs. We propose a graph-theory based approach to determining such sets. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Graph theory

Towards Building Knowledge by Merging Multiple Ontologies with CoMerger: A Partitioning-based Approach

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Babalou, Samira König-Ries, Birgitta Heinz-Nixdorf Chair for Distributed Information Systems Institute for Computer Science Friedrich Schiller University Jena Germany

Ontologies are the prime way of organizing data in the Semantic Web. Often, it is necessary to combine several, independently developed ontologies to obtain a knowledge graph fully representing a domain of interest. The complementarity of existing ontologies can be leveraged by merging them. Existing approaches for ontology merging mostly implement a binary merge. However, with the growing number and size of relevant ontologies across domains, scalability becomes a central challenge. A multi-ontology merging technique offers a potential solution to this problem. We present CoMerger, a scalable multiple ontologies merging method. For efficient processing, rather than successively merging complete ontologies pairwise, we group related concepts across ontologies into partitions and merge first within and then across those partitions. The experimental results on well-known datasets confirm the feasibility of our approach and demonstrate its superiority over binary strategies. A prototypical implementation is freely accessible through a live web portal. Copyright © 2020, The Authors. All rights reserved.

关键词： Ontology

Modeling and analysis of three properties of mobile interactive systems based on variable Petri nets

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Yang, Ru Ding, Zhijun Jiang, Changjun Zhou, MengChu The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University The Department of Computer Science and Technology Tongji University Shanghai201804 China The Institute of Systems Engineering Macau University of Science and Technology 999078 China The Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102 United States

Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to analyze. This paper introduces three critical properties of systems, called system connectivity, interaction soundness and data validity, and presents a related modeling and analysis method, based on a kind of Petri nets called VPN. For a given system, a model including component nets and interaction structure nets is constructed by using VPNs. The component net describes the internal process of each component, while the interaction structure net reflects the dynamic interaction between components. Based on this model, three properties are defined and analyzed. The case study of a practical mobile payment system shows the effectiveness of the proposed method. Copyright © 2021, The Authors. All rights reserved.

关键词： Petri nets

On using subjective logic to build consistent merged ontologies 15

学校读者我要写书评

暂无评论

On using subjective logic to build consistent merged ontolog...

15th International Conference on Semantic systems, SEMPDS 2019

作者： Babalou, Samira König-Ries, Birgitta Heinz-Nixdorf Depart for Distributed Information Systems Institute for Computer Science Friedrich Schiller University Jena Germany

Ontologies encode a community's understanding of a domain and are thus subjective. Different communities may create different models of overlapping domains. If they need to be integrated, this may cause problems: combining subjective knowledge from diverse ontologies into a merged model may make it inconsistent. We provide a Subjective Logic-based approach to support users in creating a consistent merged ontology reflecting a commonly trusted view of the domain. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Ontology

Efficient bounded Jaro-winkler similarity based search 18

学校读者我要写书评

暂无评论

Efficient bounded Jaro-winkler similarity based search

Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019 - Database systems for Business, Technology and Web, BTW 2019 and 18th Symposium of the GI Department "Databases and Information systems", DBIS 2019

作者： Keil, Jan Martin Heinz Nixdorf Chair for Distributed Information Systems Institute for Computer Science Friedrich Schiller University Jena Germany

ISBN: (纸本)9783885796831

The Jaro-Winkler similarity is a widely used measure for the similarity of strings. We propose an efficient algorithm for the bounded search of similar strings in a large set of strings. We compared our approach to the naive approach and the approach by Dreßler et al. Our results prove a significant improvement of the efficiency in computation of the bounded Jaro-Winkler similarity for querying of similar strings. © 2019 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Jaro-Winkler Similarity Similarity Search String Similarity

Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication systems

学校读者我要写书评

暂无评论

Towards a Formal Verification of Seamless Cryptographic Reke...

IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Heiko Bühler Andrzej Zbrzezny Agnieszka M. Zbrzezny Andreas Walz Axel Sikora Institute of Reliable Embedded Systems and Communication Electronics (ivESK) Offenburg University of Applied Sciences Offenburg Germany Jan Dlugosz University in Czestochowa Czestochowa Poland Faculty of Mathematics and Computer Science University of Warmia and Mazury Olsztyn Poland

ISBN: (纸本)9781665426060

This paper makes two contributions to the verification of communication protocols by transition systems. Firstly, the paper presents a modeling of a cyclic communication protocol using a synchronized network of transition systems. This protocol enables seamless cryptographic rekeying embedded into cyclic messages. Secondly, we test the protocol using the model checking verification technique.

关键词： Protocols Conferences Data acquisition Model checking Real-time systems Cryptography Synchronization

The Problem with XSD Binary Floating Point Datatypes in RDF

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Keil, Jan Martin Gänßinger, Merle Heinz Nixdorf Chair for Distributed Information Systems Institute for Computer Science Friedrich Schiller University Jena Jena Germany

The XSD binary floating point datatypes are regularly used for precise numeric values in RDF. However, the use of these datatypes for knowledge representation can systematically impair the quality of data and, compared to the XSD decimal datatype, increases the probability of data processing producing false results. We argue why in most cases the XSD decimal datatype is better suited to represent numeric values in RDF. A survey of the actual usage of datatypes on the relevant subset of the September 2020 Web Data Commons dataset, containing 14 778 325 375 literals from real web data, substantiates the practical relevancy of the described problems: 29 %-68 % of binary floating point values are distorted due to the *** Codes 68T30 © 2020, CC BY.

关键词： Knowledge representation