Christoph Lange

Moritz Busch

ERCIM News, 2024

FDO Manager: Minimum Viable FAIR Digital Object Implementation.

[BibT_eX]

[DOI]

Oussama Zoubia

Zeyd Boukhers

Nagaraj Bahubali Asundi

CoRR, 2024

From Instructions to ODRL Usage Policies: An Ontology Guided Approach.

[BibT_eX]

[DOI]

Proceedings of Workshops at the 50th International Conference on Very Large Data Bases, 2024

Semantic Data Link: Bridging Domain-Specific Needs with Universal and Interoperable Semantic Models.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Semantics in Dataspaces (SDS 2024) co-located with the 21st Extended Semantic Web Conference (ESWC 2024), 2024

FAIRness in Dataspaces: The Role of Semantics for Data Management.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Semantics in Dataspaces (SDS 2024) co-located with the 21st Extended Semantic Web Conference (ESWC 2024), 2024

Challenges and Opportunities for Enabling the Next Generation of Cross-Domain Dataspaces.

[BibT_eX]

[DOI]

Rohit A. Deshmukh

Joshua Gelhaar

Proceedings of the Second International Workshop on Semantics in Dataspaces (SDS 2024) co-located with the 21st Extended Semantic Web Conference (ESWC 2024), 2024

Towards Enabling FAIR Dataspaces Using Large Language Models.

[BibT_eX]

[DOI]

Benedikt T. Arnold

Proceedings of the Second International Workshop on Semantics in Dataspaces (SDS 2024) co-located with the 21st Extended Semantic Web Conference (ESWC 2024), 2024

Enhanced and Scalable RDF Validation Techniques for Dataspaces.

[BibT_eX]

[DOI]

Paul Moosmann

Dietrich Rebholz-Schuhmann

Proceedings of the Joint Proceedings of Posters, 2024

OntoEditor: Real-Time Collaboration via Distributed Version Control for Ontology Development.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 21st International Conference, 2024

Knowledge Graph Creation and Management Made Easy with KGraphX.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2024

2023

Offering Two-way Privacy for Evolved Purchase Inquiries.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., November, 2023

Explainable AI for Bioinformatics: Methods, Tools and Applications.

[BibT_eX]

[DOI]

Stefan Decker

Briefings Bioinform., September, 2023

Semantics in Dataspaces: Origin and Future Directions.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

Requirements and Building Blocks for Manufacturing Dataspaces.

[BibT_eX]

[DOI]

Rohit A. Deshmukh

Sisay Adugna Chala

Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

Enhancing Data Space Semantic Interoperability through Machine Learning: a Visionary Perspective.

[BibT_eX]

[DOI]

Zeyd Boukhers

Oya Beyan

Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

Data Trading and Monetization: Challenges and Open Research Directions.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Future Networks and Distributed Systems, 2023

An Upper Ontology for Modern Science Branches and Related Entities.

[BibT_eX]

[DOI]

Dietrich Rebholz-Schuhmann

Proceedings of the Semantic Web - 20th International Conference, 2023

Semantification of CEUR-WS with Wikidata as a target Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Workshop on Knowledge Graph Generation From Text and the First International BiKE Challenge co-located with 20th Extended Semantic Conference (ESWC 2023), 2023

A Knowledge Graph for Query-Induced Analyses of Hierarchically Structured Time Series Information.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Database and Information Systems, 2023

2022

Persistent Identification for Conferences.

[BibT_eX]

[DOI]

Data Sci. J., 2022

Explainable AI for Bioinformatics: Methods, Tools, and Applications.

[BibT_eX]

[DOI]

Stefan Decker

CoRR, 2022

Adversary-Aware Multimodal Neural Networks for Cancer Susceptibility Prediction From Multiomics Data.

[BibT_eX]

[DOI]

Md. Rezaul Karim

Tanhim Islam

Dietrich Rebholz-Schuhmann

Stefan Decker

IEEE Access, 2022

Getting and hosting your own copy of Wikidata.

[BibT_eX]

[DOI]

Proceedings of the 3rd Wikidata Workshop 2022 co-located with the 21st International Semantic Web Conference (ISWC2022), 2022

Property cardinality analysis to extract truly tabular query results from Wikidata.

[BibT_eX]

[DOI]

Proceedings of the 3rd Wikidata Workshop 2022 co-located with the 21st International Semantic Web Conference (ISWC2022), 2022

A Framework for Big Data Sovereignty: The European Industrial Data Space (EIDS).

[BibT_eX]

[DOI]

Proceedings of the Data Spaces - Design, 2022

The IDS Information Model: A Semantic Vocabulary for Sovereign Data Exchange.

[BibT_eX]

[DOI]

Despina-Athanasia Pantazi

Jörg Langkau

Sebastian R. Bader

Proceedings of the Designing Data Spaces: The Ecosystem Approach to Competitive Advantage, 2022

2021

A comprehensive quality assessment framework for scientific events.

[BibT_eX]

[DOI]

Scientometrics, 2021

Towards Easy Vocabulary Drafts with Neologism 2.0.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2021 Satellite Events, 2021

2020

Scholarly event characteristics in four fields of science: a metrics-based analysis.

[BibT_eX]

[DOI]

Scientometrics, 2020

Template-Based Question Answering over Linked Geospatial Data.

[BibT_eX]

[DOI]

Christos Papaloukas

Georgios Stamoulis

CoRR, 2020

The International Data Spaces Information Model - An Ontology for Sovereign Exchange of Digital Content.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2020, 2020

Towards the semantic formalization of science.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

An Ontological View of the RAMI4.0 Asset Administration Shell.

[BibT_eX]

[DOI]

Andreas W. Müller

Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

2019

Opening and Reusing Transparent Peer Reviews with Automatic Article Annotation.

[BibT_eX]

[DOI]

Publ., 2019

SEO: A Scientific Events Data Model.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2019, 2019

The scientific events ontology of the OpenResearch.org curation platform.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

EVENTSKG: A 5-Star Dataset of Top-Ranked Events in Eight Computer Science Communities.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 16th International Conference, 2019

Semantic Representation of Scientific Publications.

[BibT_eX]

[DOI]

Proceedings of the Digital Libraries for Open Knowledge, 2019

A Human-Friendly Query Generation Frontend for a Scientific Events Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the Digital Libraries for Open Knowledge, 2019

OncoNetExplainer: Explainable Predictions of Cancer Types Based on Gene Expression Data.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Bioinformatics and Bioengineering, 2019

2018

Evaluating the quality of the LOD cloud: An empirical investigation.

[BibT_eX]

[DOI]

Semantic Web, 2018

Automatically Annotating Articles Towards Opening and Reusing Transparent Peer Reviews.

[BibT_eX]

[DOI]

CoRR, 2018

A Survey of User Expectations and Tool Limitations in Collaborative Scientific Authoring and Reviewing.

[BibT_eX]

[DOI]

Afshin Sadeghi

Mahdi Jaberzadeh Ansari

Johannes Wilm

Arun Sethupat Radhakrishna

CoRR, 2018

Why Reinvent the Wheel: Let's Build Question Answering Systems Together.

[BibT_eX]

[DOI]

Kuldeep Singh

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

EVENTS: A Dataset on the History of Top-Prestigious Events in Five Computer Science Communities.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Analytics, Visualization, 2018

Towards a Cloud-Based Service for Maintaining and Analyzing Data About Scientific Events.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Analytics, Visualization, 2018

Synthesizing Knowledge Graphs from Web Sources with the MINTE ^+ + Framework.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2018, 2018

SAANSET: Semi-Automated Acquisition of Scholarly Metadata Using OpenResearch.org Platform.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

EVENTSKG: A Knowledge Graph Representation for Top-Prestigious Computer Science Events Metadata.

[BibT_eX]

[DOI]

Despina-Athanasia Pantazi

Proceedings of the Computational Collective Intelligence - 10th International Conference, 2018

SemSur: A Core Ontology for the Semantic Representation of Research Findings.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Semantic Systems, 2018

Template-Based Question Answering over Linked Geospatial Data.

[BibT_eX]

[DOI]

Christos Papaloukas

George Stamoulis

Proceedings of the 12th Workshop on Geographic Information Retrieval, 2018

Unveiling Scholarly Communities over Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Digital Libraries for Open Knowledge, 2018

Metadata Analysis of Scholarly Events of Computer Science, Physics, Engineering, and Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Digital Libraries for Open Knowledge, 2018

2017

Opening Scholarly Communication in Social Sciences by Connecting Collaborative Authoring to Peer Review.

[BibT_eX]

[DOI]

Inf. Wiss. Prax., 2017

TurtleEditor: A Web-Based RDF Editor to Support Distributed Ontology Development on Repository Hosting Platforms.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2017

Decentralized creation of academic documents using a Network Attached Storage (NAS) server.

[BibT_eX]

[DOI]

CoRR, 2017

MINTE: semantically integrating RDF graphs.

[BibT_eX]

[DOI]

Mikhail Galkin

Ignacio Traverso Ribón

Maria-Esther Vidal

Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 2017

Realizing an RDF-Based Information Model for a Manufacturing Company - A Case Study.

[BibT_eX]

[DOI]

Niklas Petersen

Lavdim Halilaj

Steffen Lohmann

Proceedings of the Semantic Web - ISWC 2017, 2017

TurtleEditor 2.0: A Synchronized Visual and Text Editor for RDF Graphs.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Semantic Data Integration for Knowledge Graph Construction at Query Time.

[BibT_eX]

[DOI]

Mikhail Galkin

Ignacio Traverso Ribón

Maria-Esther Vidal

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Capturing Knowledge in Semantically-typed Relational Patterns to Enhance Relation Linking.

[BibT_eX]

[DOI]

Kuldeep Singh

Isaiah Onando Mulang'

Ioanna Lytra

Mohamad Yaser Jaradeh

Proceedings of the Knowledge Capture Conference, 2017

Dataset Reuse: An Analysis of References in Community Discussions, Publications and Data.

[BibT_eX]

[DOI]

Kemele M. Endris

José M. Giménez-García

Proceedings of the Knowledge Capture Conference, 2017

The Qanary Ecosystem: Getting New Insights by Composing Question Answering Pipelines.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 17th International Conference, 2017

Decentralised Authoring, Annotations and Notifications for a Read-Write Web with dokieli.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 17th International Conference, 2017

Linked Data Notifications: A Resource-Centric Communication Protocol.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 14th International Conference, 2017

Integration of Scholarly Communication Metadata Using Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2017

Towards a Knowledge Graph Representing Research Findings by Semantifying Survey Articles.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2017

Analysing Scholarly Communication Metadata of Computer Science Events.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2017

Exploiting Interlinked Research Metadata.

[BibT_eX]

[DOI]

Shirin Ameri

Sahar Vahdati

Proceedings of the Research and Advanced Technology for Digital Libraries, 2017

QAestro - Semantic-Based Composition of Question Answering Pipelines.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2017

CEUR Make GUI - A Usable Web Frontend Supporting the Workflow of Publishing Proceedings of Scientific Workshops.

[BibT_eX]

[DOI]

Muhammad Rohan Ali Asmat

Proceedings of the New Trends in Databases and Information Systems, 2017

2016

Challenges as enablers for high quality linked data: Insights from the semantic publishing challenge.

[BibT_eX]

[DOI]

PeerJ Prepr., 2016

Luzzu - A Methodology and Framework for Linked Data Quality Assessment.

[BibT_eX]

[DOI]

Axel-Cyrille Ngonga Ngomo

ACM J. Data Inf. Qual., 2016

A semi-automatic approach for detecting dataset references in social science texts.

[BibT_eX]

[DOI]

Inf. Serv. Use, 2016

LITMUS: An Open Extensible Framework for Benchmarking RDF Data Management Solutions.

[BibT_eX]

[DOI]

Harsh Thakkar

Mohnish Dubey

Gezim Sejdiu

CoRR, 2016

Opening Scholarly Communication in Social Sciences: Supporting Open Peer Review with Fidus Writer.

[BibT_eX]

[DOI]

Philipp Mayr

Fakhri Momeni

CoRR, 2016

The Opening Scholarly Communication in Social Sciences project OSCOSS.

[BibT_eX]

[DOI]

Philipp Mayr

CoRR, 2016

An Introduction to Mechanized Reasoning.

[BibT_eX]

[DOI]

CoRR, 2016

Question Answering on Linked Data: Challenges and Future Directions.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on World Wide Web, 2016

FuhSen: A Platform for Federated, RDF-based Hybrid Search.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on World Wide Web, 2016

Are Linked Datasets fit for Open-domain Question Answering? A Quality Assessment.

[BibT_eX]

[DOI]

Harsh Thakkar

Kemele M. Endris

José M. Giménez-García

Proceedings of the 6th International Conference on Web Intelligence, Mining and Semantics, 2016

TurtleEditor: An Ontology-Aware Web-Editor for Collaborative Ontology Development.

[BibT_eX]

[DOI]

Niklas Petersen

Gökhan Coskun

Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016

Luzzu - A Framework for Linked Data Quality Assessment.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016

FuhSen: A Federated Hybrid Search Engine for Building a Knowledge Graph On-Demand (Short Paper).

[BibT_eX]

[DOI]

Mikhail Galkin

Maria-Esther Vidal

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Monitoring and Automating Factories Using Semantic Models.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

A Preliminary Investigation Towards Improving Linked Data Quality Using Distance-Based Outlier Detection.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

An RDF-based approach for implementing industry 4.0 components with Administration Shells.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Qanary - The Fast Track to Creating a Question Answering System with Linked Data Technology.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29, 2016

Semantic Publishing Challenge - Assessing the Quality of Scientific Output in Its Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Challenges - Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29, 2016

Qanary - A Methodology for Vocabulary-Driven Open Question Answering Systems.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

Identifying and Improving Dataset References in Social Sciences Full Texts.

[BibT_eX]

[DOI]

Proceedings of the Positioning and Power in Academic Publishing: Players, 2016

OpenResearch: Collaborative Management of Scholarly Communication Metadata.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

VoCol: An Integrated Environment to Support Version-Controlled Vocabulary Development.

[BibT_eX]

[DOI]

Lavdim Halilaj

Niklas Petersen

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

Alligator: A Deductive Approach for the Integration of Industry 4.0 Standards.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

Towards Federated, Semantics-Based Supply Chain Analytics.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems - 19th International Conference, 2016

2015

Luzzu Quality Metric Language - A DSL for Linked Data Quality Assessment.

[BibT_eX]

[DOI]

CoRR, 2015

The WDAqua ITN: Answering Questions using Web Data.

[BibT_eX]

[DOI]

Saeedeh Shekarpour

CoRR, 2015

VCG - Combinatorial Vickrey-Clarke-Groves Auctions.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2015

Sound Auction Specification and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Conference on Economics and Computation, 2015

Mapping Large Scale Research Metadata to Linked Data: A Performance Comparison of HBase, CSV and XML.

[BibT_eX]

[DOI]

Proceedings of the Metadata and Semantics Research - 9th Research Conference, 2015

OpenCourseWare observatory: does the quality of OpenCourseWare live up to its promise?

[BibT_eX]

[DOI]

Sahar Vahdati

Proceedings of the Fifth International Conference on Learning Analytics And Knowledge, 2015

Measuring the Quality of Relational-to-RDF Mappings.

[BibT_eX]

[DOI]

Darya Tarasowa

Proceedings of the Knowledge Engineering and Semantic Web - 6th International Conference, 2015

Crowdsourced semantic annotation of scientific publications and tabular data in PDF.

[BibT_eX]

[DOI]

Jaana Takis

A. Q. M. Saiful Islam

Proceedings of the 11th International Conference on Semantic Systems, 2015

Streaming transformation of XML to RDF using XPath-based mappings.

[BibT_eX]

[DOI]

Jyun-Yao Huang

Proceedings of the 11th International Conference on Semantic Systems, 2015

Semantic Publishing Challenge - Assessing the Quality of Scientific Output by Information Extraction and Interlinking.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Evaluation Challenges, 2015

Quality Assessment of Linked Datasets Using Probabilistic Approximation.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

Linked 'Big' Data: Towards a Manifold Increase in Big Data Value and Veracity.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Symposium on Big Data Computing, 2015

2014

Foreword.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2014

LUZZU - A Framework for Linked Data Quality Assessment.

[BibT_eX]

[DOI]

CoRR, 2014

Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014.

[BibT_eX]

[DOI]

Appl. Ontology, 2014

daQ, an Ontology for Dataset Quality Information.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Linked Data on the Web co-located with the 23rd International World Wide Web Conference (WWW 2014), 2014

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Identifying research schools using enriched bibliographical metadata.

[BibT_eX]

[DOI]

Sahar Vahdati

Andreas Behrend

Proceedings of the 14th International Conference on Knowledge Management and Data-driven Business, 2014

Representing dataset quality metadata using multi-dimensional views.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Semantic Systems, 2014

Semantic Publishing Challenge - Assessing the Quality of Scientific Output.

[BibT_eX]

[DOI]

Angelo Di Iorio

Proceedings of the Semantic Web Evaluation Challenge, 2014

Proof Support for Common Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

Linking Data and Knowledge in Enterprises, Research and Society.

[BibT_eX]

[DOI]

Proceedings of the Databases and Information Systems VIII, 2014

2013

Ontologies and languages for representing mathematical knowledge on the Semantic Web.

[BibT_eX]

[DOI]

Semantic Web, 2013

Proving soundness of combinatorial Vickrey auctions and generating verified executable code.

[BibT_eX]

[DOI]

CoRR, 2013

The Distributed Ontology, Modeling and Specification Language.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

The ForMaRE Project - Formal Mathematical Reasoning in Economics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.

[BibT_eX]

[DOI]

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Towards Facilitating Scientific Publishing and Knowledge Exchange Through Linked Data.

[BibT_eX]

[DOI]

Timofey Ermilov

Proceedings of the Theory and Practice of Digital Libraries - TPDL 2013 Selected Workshops, 2013

2012

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

[BibT_eX]

[DOI]

CoRR, 2012

Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset

[BibT_eX]

[DOI]

CoRR, 2012

LoLa: A Modular Ontology of Logics, Languages, and Translations.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Semantics of the Distributed Ontology Language: Institutes and Institutions.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Three Semantics for the Core of the Distributed Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2012

Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2012

Point-and-Write - Documenting Formal Mathematics by Reference.

[BibT_eX]

[DOI]

Carst Tankink

Josef Urban

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration

[BibT_eX]

[DOI]

Studies on the Semantic Web 11, IOS Press, ISBN: 978-1-61499-345-2-, 2011

The Planetary System: Web 3.0 & Active Documents for STEM.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2011

Krextor - An Extensible Framework for Contributing Content Math to the Web of Data.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

BauDenkMalNetz - Creating a Semantically Annotated Web Resource of Historical Buildings.

[BibT_eX]

[DOI]

Anca Dumitrache

Proceedings of the 1st Workshop on Semantic Publishing 2011, 2011

Authoring and Publishing Units and Quantities in Semantic Documents.

[BibT_eX]

[DOI]

Mihai Cîrlanaru

Deyan Ginev

Proceedings of the Semantic Web: ESWC 2011 Workshops, 2011

The Planetary System: Executable Science, Technology, Engineering and Math Papers.

[BibT_eX]

[DOI]

Proceedings of the Semanic Web: Research and Applications, 2011

2010

sTeX+ - a System for Flexible Formalization of Linked Data

[BibT_eX]

[DOI]

Andrea Kohlhase

CoRR, 2010

Towards OpenMath Content Dictionaries as Linked Data

[BibT_eX]

[DOI]

CoRR, 2010

wiki.openmath.org - how it works, how you can participate

[BibT_eX]

[DOI]

CoRR, 2010

Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Wikis, 2010

S<sup>T</sup>E<sup>X</sup>+: a system for flexible formalization of linked data.

[BibT_eX]

[DOI]

Andrea Kohlhase

Proceedings of the Proceedings the 6th International Conference on Semantic Systems, 2010

Integrating Mathematics into the Web of Data.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Linked Data in the Future Internet at the Future Internet Assembly, 2010

Publishing Math Lecture Notes as Linked Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2010

Dimensions of Formality: A Case Study for MKM in Software Engineering.

[BibT_eX]

[DOI]

Andrea Kohlhase

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Applying Semantic Techniques to Search and Analyze Bug Tracking Data.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2009

A Mathematical Approach to Ontology Authoring and Documentation.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

Integrating Web Services into Active Mathematical Documents.

[BibT_eX]

[DOI]

Jana Giceva

Florian Rabe

Proceedings of the Intelligent Computer Mathematics, 2009

Krextor - An Extensible XML->RDF Extraction Framework.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Scripting and Development for the Semantic Web , 2009

2008

Flyspeck in a Semantic Wiki.

[BibT_eX]

[DOI]

Sean McLaughlin

Florian Rabe

Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations.

[BibT_eX]

[DOI]

Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

Expressing Argumentative Discussions in Social Media Sites.

[BibT_eX]

[DOI]

Proceedings of the ISWC2008 Workshop on Social Data on the Web (SDoW2008) Karlsruhe, 2008

Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki.

[BibT_eX]

Tuukka Hastrup

Stephane Corlosquet

Proceedings of the LWA 2008, 2008

SWiM - A Semantic Wiki for Mathematical Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2008

2007

Towards a Semantic Wiki for Science.

[BibT_eX]

[DOI]

Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, 2007

2006

A Semantic Wiki for Mathematical Knowledge Management.

[BibT_eX]

[DOI]