Assertion: f logic | /r/HasProperty | developed for deductive databases
Facets:
value: originally
type: MANNER
Source sentences:
text: F-logic was originally developed for deductive databases, but is now most frequently used for semantic technologies, especially the semantic web.