Mercurial > repos > mikel-egana-aranguren > oppl
comparison OPPL/FaCT++-linux-v1.5.2/Models.lisp/query.default @ 8:40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
| author | Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
|---|---|
| date | Tue, 11 Oct 2011 11:09:52 +0200 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 7:756f1f5798bf | 8:40adbcb2a7cc |
|---|---|
| 1 [Query] | |
| 2 | |
| 3 ;-- | |
| 4 ;-- targets for single satisfiability (is Target sat) or subsumption (if Target [= Target2 holds) test | |
| 5 ;-- | |
| 6 | |
| 7 ; Target = *TOP* | |
| 8 ; Target2 = *BOTTOM* | |
| 9 | |
| 10 ;*** | |
| 11 ;*** please do not change lines below | |
| 12 ;*** | |
| 13 | |
| 14 ;-- | |
| 15 ;-- target KB | |
| 16 ;-- |