How is a semantic argument for a protege created?
I am new to the world of ontology. I have been doing Protegé and ontologies for 2 months and now I would like to understand (and if possible) sane. But I don't know what is its structure, the language it uses, etc. Could you please provide me with some information and read something? Thank.
source to share
The judge's job is to draw conclusions. Common argumentation tasks are consistency checking, implementation, instance checking, and feasibility. You can find all of this in several books and articles on description logic.
Protege uses the OWL API to interact with arguments, so they are implementations OWLReasoner
. Not all of them are written in Java (for example, FaCT ++ is written in C ++). These are quite complex systems, so describing how to implement one takes up chapters - too long to be answered here. I would recommend looking into the source code for some of them. Open source, from the top of your head: HermiT, FaCT ++, Pellet, JFact, ELK.
source to share