0

I have just been starting to read about creating ontologies and using Protege. One of the things that I want to do, is given an ontology I want to express the axioms generated from the ontology in a Description Logic format. My questions are as follows:

  1. Is there any way to do it in Protege?
  2. If no, do you have any suggestions of doing it?

Thank you very much in advance.

dia
  • 33
  • 4

1 Answers1

1

Yes, Protege is doing exactly that. If you A \sqsubseteq B in Protege you create class B as subclass of class A. A good resource to learn how to use Protege is the pizza tutorial. On my blog I have a mapping from Description Logics to Manchester Syntax, which is the syntax used in Protege to specify axiom. See here. Also see the mathematical formalization of object orientation for some step-by-step explanation of how DLs relate to object orientation, which can help getting a basic understanding of Description Logics.

Henriette Harmse
  • 4,167
  • 1
  • 13
  • 22
  • Programmatically this can be done with the DL document formats - one for HTML output, one for utf8. There's a LaTeX option too. – Ignazio Dec 12 '19 at 20:04