The Cyc Tab
The Cyc tab allows you to export Protégé ontology and instances to Cyc as Cyc microtheories
The Cyc tab provides the capability to connect to a Cyc server, define a microtheory in Cyc and export the current ontology into the defined microtheory. You can create a separate microtheory for instances and export all the instances of the current ontology. Before the ontology is exported, we create an OKBC microtheory (from which all the other microtheories will inherit) in order to bridge the gap between Protégé's frame-based and Cyc'c rule-based knowledge models.
Contact: Natasha Noy