Birte Glimm

University of Ulm - Institute of Artificial Intelligence

Albert-Einstein-Alee 11

Ulm, Baden-W├╝rttemberg D-89081

Germany

SCHOLARLY PAPERS

4

DOWNLOADS

34

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 16 (565,352)

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 10 (604,283)
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 5 (637,984)
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 3 (652,946)
Citation 1

Abstract:

Loading...

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