Algernon Tutorial 2.b
Type checking macros

These exercises and examples use the newspaper project included in the examples folder of your Protege installation.

Note: Except for symbols starting with a ':', all symbols you type in are case-sensitive. Symbols starting with a ':' will always be turned into all-uppercase symbols. Whether the KBMS is case-sensitive depends on the KBMS.

:IS-CLASS and :IS-INSTANCE

• ((:is-class :THING))
• ((:is-class Author))
• ((:is-instance Author))
• ((:FAIL (:is-instance Author)))
• Figure out how to call :IS-INSTANCE on the Sports section frame.
  Hint: its name isn't "Sports".

:IS-FRAME

• ((:IS-FRAME Author))
• ((:IS-FRAME Foo))

:IS-RELATION

• ((:is-relation headline))
• ((:IS-relation article_author))
• ((:FAIL (:IS-relation Author)))
• ((:FAIL (:IS-relation Foo)))

:IS-FACET

• ((:is-facet :maximum-cardinality))

Related links

• Algernon macros