Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

still alpha, not ready

  • Loading branch information...
commit 7cf289747d1cf7c87eca720fd20c1b0ad1e0936f 1 parent 8c9aa67
@cmungall cmungall authored
Showing with 19 additions and 2 deletions.
  1. +19 −2 owl2_classifier.pl
View
21 owl2_classifier.pl
@@ -2,12 +2,31 @@
:- module(owl2_classifier,
[
+ generate_class_expressions/0,
optimal_description/1
]).
:- use_module(owl2_model).
:- use_module(owl2_basic_reasoner).
+% failure-driven loop to avoid stack overflow
+generate_class_expressions :-
+ generate_class_expression(C),
+ \+ generated(C),
+ format('~q.~n',[C]),
+ assert(generated(C)),
+ fail.
+generate_class_expressions :-
+ format('%% done.~n').
+
+
+generate_class_expression( intersectionOf(XC,someValuesFrom(P,YC)) ):-
+ property_assertion_least_common_ancestor(P,_,_,XC,YC).
+
+
+
+%% EVERYTHING BELOW HERE IS OLD
+
description_instance(D,I) :-
entailed(classAssertion(D,I)).
@@ -56,8 +75,6 @@
---+ Details
-This is a collection of very ad-hoc predicates for doing things with OWL.
-This should not be regarded as stable.
---+ Additional Information
Please sign in to comment.
Something went wrong with that request. Please try again.