An Occurrence Description Logic


Farshad Badie
Hans Gotzsche


Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in Deviational Syntactic Structures under the label ‘EFA(X)3’ (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, OccL is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article—based on our OccL-based definitions of the concepts of strong implication and occurrence value as well as of the logical concept Identical Occurrence Constructor (IDOC) that is the most fundamental logical concept in our formalism—we will model Occurrence Description Logic (ODL). Accordingly, we will formally-logically analyse ‘occurrence(s) of symbol(s)’ within descriptions of the world in ODL. In addition, we will analyse and assess the logical concepts of occurrence and occurrence priority in ODL. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic.




Logic and Language


Baader et al., 2017a – Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge: Cambridge University Press, 2017.
Baader et al., 2017b – Baader, F., Horrocks, I., Lutz, C., and Sattler, U. “A Basic Description Logic”, in: An Introduction to Description Logic. Cambridge: Cambridge University Press, 2017, pp. 10–49.
Badie, 2018 – Badie, F. “Towards a Formal Symbolic Occurrence Logic”, in: The Meaning of Language, ed. by Gotzsche, H. Newcastle: Cambridge Scholars Publishing, 2018, pp. 290–300.
Gotzsche, 2013 – G¨otzsche, H. Deviational Syntactic Structures. London / New Delhi / New York / Sydney: Bloomsbury Academic, 2013.
Kripke, 1963 – Kripke, S. “Semantical Considerations on Modal Logic”, Acta Phil. Fennica, 1963, Vol. 16, pp. 83–94.
Minsky, 1974 – Minsky, M. A Framework for Representing Knowledge. Cambridge, MA, USA: Massachusetts Institute of Technology, 1974.
Quillian, 1968 – Quillian, R. “Semantic Memory”, in: Semantic Information Processing. MIT Press, 1968, pp. 216–270.
Sikos, 2017 – Sikos, L.F. Description Logics in Multimedia Reasoning. Springer International Publishing AG, 2017.