The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments-Reference-Cited by-同舟云学术

The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

Published:2017 Issue: Volume: Page:20-36
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Alharbi Eisa,Howse John,Stapleton Gem,Hamie Ali,Touloumis Anestis

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-68288-4_2

Reference18 articles.

1. OWL 2 Web Ontology Language Manchester Syntax, 2nd edn. W3C WG Note 11. https://www.w3.org/TR/owl2-manchester-syntax/ . Accessed May 2017

2. The OWL 2 Web Ontology Language (2016). http://www.w3.org/TR/owl2-overview/ . Accessed Apr 2016

3. Baader, F., Calvanese, D., McGuinness, D., Nadi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

4. Horridge, M., Bail, S., Parsia, B., Sattler, U.: The cognitive complexity of OWL justifications. In: Aroyo, L. et al. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 241–256. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-25073-6_16

5. Lecture Notes in Computer Science;M Horridge,2008

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

1. Evaluating Colour in Concept Diagrams;Diagrammatic Representation and Inference;2022

2. In the Head of the Beholder: Comparing Different Proof Representations;Rules and Reasoning;2022

3. Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures;Automated Deduction – CADE 28;2021

4. More Effective Ontology Authoring with Test-Driven Development and the TDDonto2 Tool;International Journal on Artificial Intelligence Tools;2019-11

5. Improving comprehension of knowledge representation languages: A case study with Description Logics;International Journal of Human-Computer Studies;2019-02