Assertion: description logic | /r/HasProperty | dl
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.