Birte Glimm

University of Ulm - Institute of Artificial Intelligence

Albert-Einstein-Alee 11

Ulm, Baden-W├╝rttemberg D-89081

Germany

SCHOLARLY PAPERS

4

DOWNLOADS

27

0

!

Under construction: SSRN citations will be offline until July when we will launch a brand new and improved citations service, check here for more details.

For more information

Scholarly Papers (4)

1.

Parallel Tractability of Ontology Materialization: Technique and Practice

Journal of Web Semantics First Look
Number of pages: 43 Posted: 16 Oct 2018
Zhangquan Zhou, Guilin Qi and Birte Glimm
Southeast University (China) - School of Computer Science, Southeast University (China) - School of Computer Science and University of Ulm - Institute of Artificial Intelligence
Downloads 15 (541,240)

Abstract:

Loading...

ontology, materialization, datalog, parallel tractability, NC complexity

2.

A Novel Approach to Ontology Classification

Journal of Web Semantics First Look
Number of pages: 21 Posted: 23 Jun 2018
University of Ulm - Institute of Artificial Intelligence, University of Manchester - School of Computer Science, University of Oxford - Department of Computer Science, University of Oxford - Department of Computer Science and University of Oxford - Department of Computer Science
Downloads 7 (589,503)

Abstract:

Loading...

Ontologies, OWL, Class Classification, Property Classification, Optimisations

3.

Interactive Ontology Revision

Journal of Web Semantics First Look 12_0_9
Number of pages: 21 Posted: 06 Jul 2018
Karlsruhe Institute of Technology - Institute AIFB, Karlsruhe Institute of Technology - Institute AIFB and University of Ulm - Institute of Artificial Intelligence
Downloads 3 (616,770)

Abstract:

Loading...

Ontologies, Knowledge Representation, Automated Reasoning, Quality Assurance, OWL

4.

Konclude: System Description

Journal of Web Semantics First Look
Number of pages: 10 Posted: 09 Jul 2018
University of Ulm - Institute of Artificial Intelligence, derivo GmbH and University of Ulm - Institute of Artificial Intelligence
Downloads 2 (626,453)

Abstract:

Loading...

Web Ontology Language, Description Logics, Tableau Theorem Proving