Author:
Furbach Ulrich,Schon Claudia
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Aravindan, C., Baumgartner, P.: Theorem proving techniques for view deletion in databases. Journal of Symbolic Computation 29, 2000 (2000)
2. Baader, F., Peñaloza, R.: Axiom pinpointing in general tableaux. J. Log. Comput. 20(1), 5–34 (2010)
3. Baumgartner, P., Fröhlich, P., Furbach, U., Nejdl, W.: Semantically Guided Theorem Proving for Diagnosis Applications. In: Pollack, M.E. (ed.) IJCAI 1997, Nagoya. Morgan Kaufmann (1997)
4. Lecture Notes in Computer Science;M. Bender,2013
5. Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Updating aboxes in DL-Lite. In: Laender, A.H.F., Lakshmanan, L.V.S. (eds.) AMW. CEUR Workshop Proceedings, vol. 619. CEUR-WS.org (2010)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Are query-based ontology debuggers really helping knowledge engineers?;Knowledge-Based Systems;2019-09
2. Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base;Lecture Notes in Computer Science;2018
3. On First-Order Model-Based Reasoning;Lecture Notes in Computer Science;2015
4. Towards Consistency Checking over Evolving Ontologies;Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management;2014-11-03