The index that appeared in the print version of this title was intentionally removed from the eBook. Please use the search function on your eReading device to search for terms of interest. For your reference, the terms that appear in the print index are listed below.
all values from. See restriction types: universal
ambiguity. See also meaning
anonymous classes. See also blank nodes
arithmetic expressions. See expressions: arithmetic
asymmetric properties. See property characteristics
automated reasoner. See inference engines
axiom. See also logic
blank nodes. See also anonymous classes
Boolean expressions. ...