Example image of eyePlorer eyePlorer map for 'F-logic': Frame language Knowledge representation Logic Ontology language Information hiding Inheritance (object-oriented programming) Type polymorphism Object-oriented programming Predicate logic Relational database Tefkat Ontoprise GmbH Semantic reasoner Ontology engineering Ontology (information science) Prolog
Disclaimer