Justification Patterns for OWL DL Ontologies
暂无分享,去创建一个
[1] Bijan Parsia,et al. Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.
[2] Sean Bechhofer,et al. The OWL API: A Java API for Working with OWL 2 Ontologies , 2009, OWLED.
[3] Kaarel Kaljurand,et al. Verbalizing OWL in Attempto Controlled English , 2007, OWLED.
[4] Ian Horrocks,et al. FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.
[5] Guilin Qi,et al. A Relevance-Directed Algorithm for Finding Justifications of DL Entailments , 2009, ASWC.
[6] Ian Horrocks,et al. Explaining ALC Subsumption , 2000, Description Logics.
[7] Alan L. Rector,et al. Editing Description Logic Ontologies with the Protégé OWL Plugin , 2004, Description Logics.
[8] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..
[9] Guilin Qi,et al. A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments , 2008, ASWC.
[10] Bijan Parsia,et al. Explaining Inconsistencies in OWL Ontologies , 2009, SUM.
[11] Aditya Kalyanpur,et al. Debugging and Repair of OWL Ontologies , 2006 .