Writing ontologies in DL syntax?

Question

I just discovered OWL and Protege. Upon reading through this reference page (which I quote below), I am left wondering whether it is possible to not use the abstract OWL syntax, and rather to write in DL syntax. My background is in logic, so it sounds like it would be more fun even if I would have to translate the ontologies later (though I am sure there must be applications to do this--besides, don't reasoners use DL?).

If it is possible, what configuration of settings should I use in Protege (or other software of your suggestion) in order to do this? I suspect it's not possible, but I want to be sure, as I see no good reason for this other than the awkwardness of special symbols.

EDIT: If it is NOT possible, how exactly are DL languages used?

OWL DL is the description logic SHOIN with support of data values, data types and datatype properties, i.e., SHOIN(D), but since OWL is based on RDF(S), the terminology slightly differs. ... For description of OWL ontology or knowledge base, the DL syntax can be used. There is an "abstract" LISP-like syntax defined that is easier to write in ASCII character set.

Here's a very brief working example of the two syntax styles for the same data.

Toothwort

Answer 1

don't reasoners use DL?

Not necessarily. They use all kinds of logics, some of which are DLs, some are not.

If it is possible, what configuration of settings should I use in Protege (or other software of your suggestion) in order to do this?

I'm pretty sure there is no such pluggin for Protégé. But if you really want some fun, use a text editor and write your ontology by hand. There are many syntaxes you can use: the functional syntax, the OWL/XML syntax, the RDF/XML syntax are all normative. In addition, you can use the Manchester syntax, Turtle, N-Triples, JSON-LD, that will be future recommendations for writing RDF (and therefore OWL). Or the more exotic RDF/JSON, HDT. Or again, more "powerful" syntaxes like Notation3, TriG, TriX, NQuads. Plenty of fun!

In any case, if you would like to write in the DL syntax, you would need to use special Unicode characters or special commands like in LaTeX for instance. And the parser that deals with it would have to read those characters or commands. Not ideal if you are programming. But you can always use the DL syntax in your writings.

BTW, the current standard Web Ontology Language is OWL 2. Its DL variant (viz., OWL 2 DL) is based on the even more irresistible SROIQ.

Outrank

Are there any applications for translating between the various syntaxes (of logics of equal expressivity)? – Toothwort

Since some reasoners do use DL, would it possible for me to feed a reasoner a DL ontology I have written as a text file? If so, what kind of special markup would I need to use, and which reasoner? Thanks! – Toothwort

An OWL DL ontology is just a description logic ontology in a certain standardised syntax. The OWL API, which is used by Protégé, can read and serialise ontologies in Functional syntax, OWL/XML, Menchester syntax, RDF/XML and Turtle, IIRC. All the formats I mentioned, except HDT, can be easily edited in a text editor. HDT is a compact binary format that would be difficult to edit as plain text. – Outrank

To know how to write those formats by hand, you can take a look at the OWL 2 Primer, where there is a section with buttons that hide or display different syntaxes: w3.org/TR/owl2-primer/#OWL_Syntaxes – Outrank