Skip to content

Instantly share code, notes, and snippets.

@arademaker

arademaker/racer.lisp

Created September 18, 2016 14:13
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save arademaker/121a7a735d73bb7c0bc640ed874df44d to your computer and use it in GitHub Desktop.
Save arademaker/121a7a735d73bb7c0bc640ed874df44d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
racer.lisp
RACER-USER> (signature :atomic-concepts (A C a1 a2)
:roles (h))
; No value
RACER-USER> (equivalent a1 (and (some h A) (all h C)))
A1
RACER-USER> (equivalent a2 (some h C))
A2
RACER-USER> (concept-subsumes? a1 a2)
NIL
RACER-USER> (concept-subsumes? a2 a1)
T
RACER-USER> (concept-descendants a1)
((*BOTTOM* BOTTOM))
RACER-USER> (concept-descendants a2)
((*BOTTOM* BOTTOM) (A1))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment