public class Demo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static edu.stanford.smi.protege.model.KnowledgeBase |
kb |
static edu.stanford.smi.protege.model.Instance |
srai |
Constructor and Description |
---|
Demo() |
Modifier and Type | Method and Description |
---|---|
static void |
collision(java.lang.String ship1,
java.lang.String ship2,
java.lang.String coll_ra,
java.lang.String spill_ra) |