Birte Glimm

University of Ulm - Institute of Artificial Intelligence

Albert-Einstein-Alee 11

Ulm, Baden-W├╝rttemberg D-89081

Germany

SCHOLARLY PAPERS

4

DOWNLOADS

45

SSRN CITATIONS

0

CROSSREF CITATIONS

0

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 and Engineering, Southeast University (China) - School of Computer Science and Engineering and University of Ulm - Institute of Artificial Intelligence
Downloads 20 (593,031)

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 12 (648,182)
Citation 2

Abstract:

Loading...

Ontologies, OWL, Class Classification, Property Classification, Optimisations

3.

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 9 (677,039)
Citation 2

Abstract:

Loading...

Web Ontology Language, Description Logics, Tableau Theorem Proving

4.

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 4 (706,450)
Citation 1

Abstract:

Loading...

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