| Did you know ... | Search Documentation: |
 | Pack rdf_owl -- prolog/rdf_owl.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- owl_some(?Restr, ?Property, ?Obj) is nondet
- true if Restr is an OWL expression SomeValuesFrom(Property,Obj)
- owl_all(?Restr, ?Property, ?Obj) is nondet
- true if Restr is an OWL expression AllValuesFrom(Property,Obj)