Assertion: f logic | /r/HasProperty | one of the formalisms
Facets:
Source sentences:
text: F-logic is considered as one of the formalisms for ontologies, but description logic (DL) is more popular and accepted, as is the DL-based OWL.