search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

x inheres_in y and x a function => x function_of y #84

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
can be done 1/2 (for class inference) with general axiom
(equivalent-classes (object-some-values-from has-s-dep function) 
(object-some-values-from has-f function))

At instance level can use property chain = see

http://lists.w3.org/Archives/Public/public-owl-comments/2010May/0000.html

Can also add dl-safe rules for instance reasoning.

Original issue reported on code.google.com by alanruttenberg@gmail.com on 29 Jun 2012 at 7:37