Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Alan R. Anderson and Nuel D. Belnap. Entailment — the logic of relevance and necessity. Princeton University Press, Princeton, NJ. 1975.
2. Nuel D. Belnap. A useful four-valued logic. In Gunnar Epstein and J. Michael Dunn, editors, Modern uses of multiple-valued logic, pages 5–37. Reidel, Dordrecht, NL, 1977.
3. Alexander Borgida. Structural subsumption: What is it and why is it important? In AAAI Fall Symposium:Issues in Description Logics, pages 14–18, 1992.
4. Martin Buchheit, A. Manfred Jeusfeld, Werner Nutt, and Martin Staudt. Subsumption between queries to object-oriented databases. Information Systems, 19(1):33–54, 1994. Special issue on Extending Database Technology, EDBT'94.
5. Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, A. Marchetti Spaccamela, Daniele Nardi, and Werner Nutt. The complexity of existential quantification in concept languages. Artificial Intelligence, 2–3:309–327, 1992.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Falsification-aware Semantics for Description Logics;2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL);2022-05
2. Reasoning with Inconsistency-tolerant Fuzzy Description Logics;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022
3. An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information;Proceedings of the 12th International Conference on Agents and Artificial Intelligence;2020
4. Bisimilarity for paraconsistent description logics;Journal of Intelligent & Fuzzy Systems;2017-01-30
5. On the Satisfiability of Quasi-Classical Description Logics;Computing and Informatics;2017