3
$\begingroup$

I am developing an ontology. I've got the classes, relationships and I guess I could come up with instances at this point too.

But what I'm really focused on is the axioms. I've learnt that the axioms restrict the knowledge so that reasoning can be done which then reveals the consistency or satisfiability of the ontology as well as subsumption and some other things.

I want to know: where do the axioms come from? Is there a formal method to coming with the axioms? Do I just dream them up and kind of decide, based on my knowledge of the domain, that these things are true and ought to be represented as such? If I had to substantiate my axioms and say where I came up with them, what would I say??

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.