Tightly integrated probabilistic description logic programs for representing ontology mappings

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

Non-classical Logic, Engineering, Automated Reasoning +6

The well-founded semantics for general logic programs

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations

Applied Logic, Engineering, Data Science +11

Logical foundations of object-oriented and frame-based languages

Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.4K citations · Full text

Declarative Programming, Engineering, Operational Semantics +13

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

Description Logic Programs: Combining Logic Programs with Description Logic

Benjamin N. Grosof, Ian Horrocks, Raphael Volz et al. · SSRN Electronic Journal · 2003 · 810 citations · Full text