Soundness Preserving Approximation for TBox Reasoning

Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010

Volumn , Issue , 2010, Pages 351-356

  Ren, Yuan ^a   Pan, Jeff Z ^a   Zhao, Yuting ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; DATA DESCRIPTION; INFERENCE ENGINES; KNOWLEDGE REPRESENTATION;

ADDITIONAL DATUM; APPROXIMATE REASONING; DESCRIPTION LOGIC; DESCRIPTION LOGICS REASONING; EXPRESSIVE POWER; LARGE-SCALE ONTOLOGIES; ONTOLOGY APPLICATIONS; ONTOLOGY'S; REASONING FRAMEWORK; WORST-CASE COMPLEXITY;

ONTOLOGY;

EID: 84889029269     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
2. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL Envelope. In Proceedings IJCAI-05.
3. Groot, P.; Stuckenschmidt, H.; and Wache, H. 2005. Approximating Description Logic Classification for Semantic Web Reasoning. In ESWC-2005.
4. HermiT-Benchmark. 2009. HermiT Benchmark. http://hermit-reasoner.com/2009/JAIR benchmarks/.
5. Hitzler, P., and Vrandecic, D. 2005. Resolution-Based Approximate Reasoning for OWL DL. In ISWC-2005.
6. Hollunder, B.; Nutt, W.; and Schmidt-Schauß, M. 1990. Subsumption Algorithms for Concept Description Languages. In ECAI-90, 348-353. Pitman Publishing.
7. Horrocks, I.; Kutz, O.; and Sattler, U. 2006. The Even More Irresistible SROIQ. In KR 2006.
8. Kazakov, Y. 2008. SRIQ and SROIQ are Harder than SHOIQ. In DL 2008.
9. Kazakov, Y. 2009. Consequence-Driven Reasoning for Horn SHIQ Ontologies. In IJCAI 2009.
10. Motik, B.; Shearer, R.; and Horrocks, I. 2009. Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research.
11. Pan, J. Z., and Thomas, E. 2007. Approximating OWL-DL Ontologies. In AAAI-2007, 1434-1439.
12. Schaerf, M., and Cadoli, M. 1995. Tractable Reasoning via Approximation. Artificial Intelligence 74:249-310.
13. Stuckenschmidt, H., and van Harmelen, F. 2002. Approximating Terminological Queries. In FQAS'02.
14. Tsarkov, D., and Horrocks, I. 2004. Efficient Reasoning with Range and Domain Constraints. In (DL 2004).
15. Tsarkov, D.; Horrocks, I.; and Patel-Schneider, P. F. 2007. Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. 39(3):277-316.
16. Wache, H.; Groot, P.; and Stuckenschmidt, H. 2005. Scalable Instance Retrieval for the Semantic Web by Approximation. In WISE Workshops-05.