SHIQ

From Tetherless World Wiki

Jump to: navigation, search

Basic Metadata [ Edit ]

Type Description Logics
Name SHIQ

A DL language that supports

  • concept conjunction
  • concept disjunction
  • concept negation
  • existential restriction
  • value restriction
  • transitive role
  • role inclusion
  • inverse role
  • qualified number restriction
Facts about SHIQRDF feed
FOAF:name SHIQ  +
Retrieved from "http://tw.rpi.edu/wiki/SHIQ"
Personal tools