Searched defs:de (Results 1 - 6 of 6) sorted by relevance
| /hets/OWL2/java/de/unibremen/informatik/Fact/ | ||
| H A D | Fact.java | 1 package de.unibremen.informatik.Fact; |
| /hets/OWL2/java/de/unibremen/informatik/FactProver/ | ||
| H A D | Prove.java | 1 package de.unibremen.informatik.FactProver; |
| H A D | FactProver.java | 1 package de.unibremen.informatik.FactProver; |
| /hets/OWL2/java/de/unibremen/informatik/locality/ | ||
| H A D | LocalityChecker.java | 1 package de.unibremen.informatik.locality; |
| /hets/DMU/ | ||
| H A D | OntoDMU.jar | ... ArrayList allInferences int index java.util.List gg de.biba.XMLImport.Individuum indiC de.biba ... |
| /hets/OWL2/java/lib/ | ||
| H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
Completed in 27 milliseconds