Framework for an Automated Comparison of Description Logic Reasoners-Reference-Cited by-同舟云学术

Framework for an Automated Comparison of Description Logic Reasoners

Published:2006 Issue: Volume: Page:654-667
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Gardiner Tom,Tsarkov Dmitry,Horrocks Ian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11926078_47.pdf

Reference27 articles.

1. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69(1), 5–40 (2001)

2. Bechhofer, S., Möller, R., Crowther, P.: The DIG description logic interface. In: Proceedings of DL 2003 International Workshop on Description Logics (September 2003)

3. Lecture Notes in Computer Science;S. Bechhofer,2003

4. Carroll, J.J., De Roo, J.: OWL web ontology language test cases. W3C Recommendation (February 10, 2004), available at: http://www.w3.org/TR/owl-test/

5. Lecture Notes in Computer Science;Y. Guo,2004

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Framework for Supporting Well-being using the Character Computing Ontology - Anxiety and Sleep Quality during COVID-19;Open Psychology;2022-01-01

2. Analysing the Trade-Off Between Computational Performance and Representation Richness in Ontology-Based Systems;Lecture Notes in Computer Science;2019

3. Multi-label Based Learning for Better Multi-criteria Ranking of Ontology Reasoners;Lecture Notes in Computer Science;2017

4. Ranking with Ties of OWL Ontology Reasoners Based on Learned Performances;Communications in Computer and Information Science;2016

5. A Fuzzy Extension to the OWL 2 RL Ontology Language;The Computer Journal;2015-04-23