Revision 404: /trunk/owl/tests
..
acpp.lisp
association.lisp
bacterial.lisp
biopax-level2-2005-05-05.owl
bnode.lisp
complete-versus-partial.lisp
friends-subset.lisp
inconsistencies.lisp
infinite-people-finite-ssn.absowl
infinite-people-finite-ssn.lisp
lister.lisp
localized-domain-range.lisp
maybe-satisfiable.lisp
non-distinguished-variable.lisp
obi-protocol-application-example.lisp
overlaps.lisp
part-of-restrictions.lisp
petri-dish.lisp
president.owl
reactome-109581-apoptosis-2006-05-05.owl
test-suite.lisp
unsatisfiable.lisp
Powered by
Subversion
version 1.4.2 (r22196).