Unrestricted and finite model reasoning in class-based representation formalisms [PhD Thesis]
Book information
Similar books
Web and Big Data: 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part II
2023 · PDF
Web and Big Data: 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part III
2023 · PDF
Web and Big Data: 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part I
2023 · PDF
Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
2019 · PDF
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
2017 · PDF
Digital Libraries on the Move: 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers
2016 · PDF
Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
2008 · PDF
The Description Logic Handbook: Theory, Implementation and Applications
2007 · PDF