Hello,

we are trying to do some OWL reasoning based on owl:propertyChainAxiom. 
Since that predicate is not supported, is there a way to define external rules,
so that the built-in reasoner can use them?

Regards

Kayhan Uludemirciler
Softwareentwicklung 


SOHARD Software GmbH 
Würzburger Str. 197 
90766 Fürth 

Phone: +49 (0) 911 97341-568 
E-Mail: kayhan.uludemirci...@sohard.de 
www.sohard.de 

Geschäftsführer: Peter Feltens, Sebastian Schnitzenbaumer 
Sitz der Gesellschaft: Fürth 
Registergericht: Amtsgericht Fürth; HRB 11478 

USt.-Id.-Nr.: DE 2 60 32 91 34 
Steuernummer: 218/137/60174 

------------------------------------------------------------------------------
See everything from the browser to the database with AppDynamics
Get end-to-end visibility with application monitoring from AppDynamics
Isolate bottlenecks and diagnose root cause in seconds.
Start your free trial of AppDynamics Pro today!
http://pubads.g.doubleclick.net/gampad/clk?id=48808831&iu=/4140/ostg.clktrk
_______________________________________________
Virtuoso-users mailing list
Virtuoso-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/virtuoso-users

Reply via email to