1 / 15

Component of Knowledge . NET - Converter into KIF format

Saint Petersburg State University. Component of Knowledge . NET - Converter into KIF format. Presenter Sigalin Maxim. Scientific Adviser Vladimir Safonov, professor of computer science. KIF (Knowledge Interchange Format). Interchange of knowledge. First-order predicate calculus.

chesna
Download Presentation

Component of Knowledge . NET - Converter into KIF format

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Saint Petersburg State University Component of Knowledge.NET -Converter into KIF format Presenter Sigalin Maxim Scientific AdviserVladimir Safonov, professor of computer science

  2. KIF (Knowledge Interchange Format) • Interchange of knowledge • First-order predicate calculus • Does not provide forms for defining frames/ontologies • http://logic.stanford.edu/kif/dpans.html

  3. Ontolingua system • KIF-based language • Provides forms for defining frames/ontologies • Set of translators into another knowledge representation systems • http://www.ksl.stanford.edu/software/ontolingua/

  4. Ontolingua translation architecture

  5. Knowledge.NET constructions • Frames • Ontologies

  6. Constructions ofOntolingua • DEFINE-CLASS • DEFINE-FRAME • DEFINE-RELATION • DEFINE-INSTANCE

  7. DEFINE-CLASS (DEFINE-CLASS<structure-name> (<arg>) {:def | :iff-def} <sent-with-arg-vars> [:constraints <sent-with-arg-vars>] [:class-slots (<slot-spec>*)] [:instance-slots (<extended-slot-spec>*)] [:default-slot-values (<slot-spec>*)] )

  8. Example (define-class female-person (?person) "female humans" :iff-def (and (human ?person) (= (gender ?person) female)) )

  9. Slots • Predeterminedown slots: • INSTANCE-OF • SUBCLASS-OF • ...

  10. DEFINE-RELATION (define-relation FR_NAME.SL_NAME (?Frame ?Value) :Def (And (FR_NAME ?Frame) (SL_TYPE ?Value)))

  11. DEFINE-INSTANCE (define-instance<instance-name> (<class-name>+) ... )

  12. Constructionsof KIF • DEFRELATION • DEFOBJECT • Unrestricted type • (defrelation constant sentence*) • (defobject constant sentence*)

  13. Launch fromVisual Studio 2005

  14. Example (defrelation Human (Documentation Human “Class frame Human") (Subclass-Of Human Thing) (Class Human)) (defrelationHuman.Name (Documentation Human.Name “Slot Name of frame Human") (Range Human.Name String) (Domain Human.Name Human) (Slot Human.Name)) (defobjectJack (Human Jack) (Human.Name Jack “Jack”) (Documentation Jack “Instance frame Jack"))

  15. ?

More Related