For full text search please use the '?' prefix. e.g. ? Onboarding
KIF
From
Temporal Interval Reasoning with Clp Q
Go to text
→
to the best of our knowledge, there is no theorem prover or interpreter of the KIF language publicly available
Backlinks
A Reusable Ontology for Fluents in Owl
Ontology Infrastructure for the Semantic Web
Owl-Full vs KIF