Model-theoretic inseparability and modularity of description logic ontologies

Pellet: A practical OWL-DL reasoner

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et al. · Journal of Web Semantics · 2007 · 2.6K citations

Engineering, Automated Reasoning, Description Logic +9

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

Simon Colton, Alan Bundy, Toby Walsh · 1999 · 2.5K citations

Artificial Intelligence, Ai Architecture, International Joint Conference +6

The Description Logic Handbook – Theory, Implementation and Applications

C.J.H. Mann · Kybernetes · 2003 · 2.2K citations

Applied Logic, Knowledge Representation, Engineering +8

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo et al. · Journal of Automated Reasoning · 2007 · 1.3K citations

Natural Language Processing, Engineering, Automated Reasoning +11

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 974 citations · Full text

Engineering, Well-founded Semantics, Higher-order Logic +21