Author of the publication

Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners

, , , and . Proc.\ of the 3rd Int.\ Workshop on OWL Reasoner Evaluation (ORE~2014), (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners, , , and . Proc.\ of the 3rd Int.\ Workshop on OWL Reasoner Evaluation (ORE~2014), (2014)Reasoning Using Knots, , and . Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, volume 5330 of Lecture Notes in Computer Science, page 377-390. Springer, (2008)Query Answering in the Description Logic S, , , , and . Proceedings of the 23rd International Workshop on Description Logics (DL2010), (2010)FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols, and . Transactions on Computational Logic (TOCL), (April 2010)Article 14 (50 + 16 pages).