AISpace2 Main Tools News Downloads Prototype Tools Customizable Applets Practice Exercises Help About AIspace

In OWL, can we prevent something from being both a fruit and a vegetable? If so, how? If not, why not? Yes, we can prevent something from being both a fruit and a vegetable by adding disjointness axioms between Fruit and Vegetable.

Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP