The class of things for which the given attribute is defined. Min value on a string valued attribute Max value on a string valued attribute Exact string value String range minimum integer value maximum integer value Identification of a server. The server must provide its name, version, and a description of the language that it supports. Version should be a sequence of integers, separated by the "." character. Describes the concept language that the reasoner knows about. Indicates that the language that the reasoner supports includes conjunction. Indicates that the language that the reasoner supports includes disjunction. Indicates that the language that the reasoner supports includes negation. Indicates that the language that the reasoner supports includes existential quantification. Indicates that the language that the reasoner supports includes universal quantification. Indicates that the language that the reasoner supports includes atmost restrictions. Indicates that the language that the reasoner supports includes atleast restricitions Indicates that the language that the reasoner supports includes the one-of construct. This in turn implies that individuals are supported. Indicates that the language that the reasoner supports includes concrete domains. In the current specification, this amounts to supporting strings and integers, along with min, max, equals and range predicates. Indicates that the language that the reasoner supports includes individuals (i.e. some A-box functionality). Indicates that the language that the reasoner supports includes features, i.e. functional roles. Indicates that the language that the reasoner supports includes attributes (i.e. relationships whose domain is a concrete domain). This in turn implies that concrete domains are supported. Indicates that the language that the reasoner supports includes feature chains, i.e. chains of functional roles followed by an attribute. This in turn implies that concrete domains are supported Indicates that the language that the reasoner supports includes inverse roles. Describes the tell language that the reasoner supports. Indicates that the assertion language that the reasoner supports includes concept implications. Indicates that the assertion language that the reasoner supports includes role implications. Indicates that the assertion language that the reasoner supports includes concept equaility. Indicates that the assertion language that the reasoner supports includes role equality. Indicates that the assertion language that the reasoner supports includes domain restrictions. Indicates that the assertion language that the reasoner supports includes range restrictions. Indicates that the assertion language that the reasoner supports includes integer range restrictions. Indicates that the assertion language that the reasoner supports includes string range restrictions. Indicates that the assertion language that the reasoner supports includes assertions about transitive roles. Indicates that the assertion language that the reasoner supports includes assertions about functional roles. Indicates that the assertion language that the reasoner supports includes disjointness axioms. Indicates that the assertion language that the reasoner supports includes instanceof assertions. Indicates that the assertion language that the reasoner supports includes relationships between individuals. Indicates that the assertion language that the reasoner supports includes association of concrete domain values with individuals. Describes the query language that the reasoner supports. Indicates that the query language that the reasoner supports includes asking for all concepts. Indicates that the query language that the reasoner supports includes asking for all roles. Indicates that the query language that the reasoner supports includes asking for all individuals. Indicates that the query language that the reasoner supports includes satisfiability testing. Indicates that the query language that the reasoner supports includes concept subsumption testing. Indicates that the query language that the reasoner supports includes disjointness testing. Indicates that the query language that the reasoner supports includes querying for parents. Indicates that the query language that the reasoner supports includes querying for children Indicates that the query language that the reasoner supports includes querying for ancestors. Indicates that the query language that the reasoner supports includes querying for descendants. Indicates that the query language that the reasoner supports includes querying for equivalent concepts. Indicates that the query language that the reasoner supports includes querying for role parents. Indicates that the query language that the reasoner supports includes querying for role children. Indicates that the query language that the reasoner supports includes querying for role ancestors. Indicates that the query language that the reasoner supports includes querying for role descendants. Indicates that the query language that the reasoner supports includes querying for instances. Indicates that the query language that the reasoner supports includes querying for known types of an individual. Indicates that the query language that the reasoner supports includes querying for known role fillers of an individual. Indicates that the query language that the reasoner supports includes querying for known concrete values associated with an individual. Indicates that the query language that the reasoner supports includes querying for all pairs of related individuals. Indicates that the reasoner employs the UNA for individuals.