Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

fixed typo. From Martin Günther

  • Loading branch information...
commit 42d9f29c91de72d6a2e020333b5794bd490a2b8f 1 parent c47a2cb
Chris Mungall cmungall authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  Cookbook.txt
2  Cookbook.txt
View
@@ -67,7 +67,7 @@ load_axioms('testfiles/country.owl').
% find all (inferred) adjacent countries and make a classAssertion
initialize_reasoner(pellet,Reasoner),
- reasoner_ask(Reasoner,Fac,propertyAssertion('http://www.co-ode.org/roberts/country.owl#adjacentTo',C1,C2)),
+ reasoner_ask(Reasoner,propertyAssertion('http://www.co-ode.org/roberts/country.owl#adjacentTo',C1,C2)),
retract_axiom(propertyAssertion(C1,'c:adjacentTo',C2)),
Desc = someValuesFrom('c:hasLandBoundry',intersectionOf('c:LandBoundryFragment',
hasValue('c:boundaryOf',C2))),
Please sign in to comment.
Something went wrong with that request. Please try again.