Author:
Kalyanpur Aditya,Parsia Bijan,Sirin Evren,Cuenca-Grau Bernardo
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Gardenfors, P., Makinson, D., Alchourron, C.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50 (1985)
2. Lecture Notes in Computer Science;L. Ding,2005
3. Guarino, N., Welty, C.: Evaluating ontological decisions with ontoclean. Commun. ACM 45(2), 61–65 (2002)
4. Kalyanpur, A., Parsia, B., Cuenca-Grau, B., Sirin, E.: Axiom pinpointing: Finding (precise) justifications for arbitrary entailments in $\mathcal{SHOIN}$ (owl-dl). Technical report, UMIACS, 2005-66 (2006)
5. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: Swoop: A web ontology editing browser. Journal of Web Semantics (to appear, 2005)
Cited by
74 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献