Arcroles which add SROIQ description logic and OWL 2 DL type semantics to XBRL. For more information see http://www.w3.org/TR/2012/REC-owl2-primer-20121211/ and http://www.w3.org/TR/2012/REC-owl2-direct-semantics-20121211/ Equivalent to owl:Class. The individual A is a defined to be class B. For example, the taxonomy element us-gaap:Assets (which is an individual) is defined as being the class fro:Assets. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Class_Hierarchies link:definitionArc Equivalent to rdfs:subClassOf. Class A is a specializetion of Class P. Ability to organize classes into a hierarchy of general-special terms. Similar to SKOS notion of broader terms versus narrower terms. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Class_Hierarchies link:definitionArc Equivalent to owl:equivalentClass. Class A and class B have the exact same members. (Example, class LiabitiesAndPartnerCapital and the class LiabilitiesAndStockHolderEquity are both equivalent to LiabilitiesAndEquity.) http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Class_Hierarchies link:definitionArc Equivalent to owl:sameAs. Class A and class B are the exact same real world thing. (Example, the class Equity and the class NetAssets are exactly the same thing.) http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Equality_and_Inequality_of_Individuals link:definitionArc Equivalent to owl:differentFrom. Individual A and individual B are the NOT the same real world thing. (Example, the class Assets and the class NetAssets are NOT the same thing.) http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Equality_and_Inequality_of_Individuals link:definitionArc Equivalent to owl:AllDisjointClasses. Things belonging to one class A cannot also belong to some other class B. (Example, a member of the Person class set of things can never be a member of the Country class set of things.) http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Class_Hierarchies link:definitionArc Equivalent to owl:complementOf. Things that are members of one class A are all the things that do not belong to the other class B (Example, a member of the class of LivingThings set of things is the entire set of things that do not belong to the DeadThings set of things.) http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Complex_Classes link:definitionArc Equivalent to owl:inverseOf. A relationship of type X between A and B implies a relationship of type Y between B and A. (Example, IF starsIn inverseOf hasStar; AND IF MenInBlack hasStar WillSmith; THEN WillSmith starsIn MenInBlack) http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Complex_Classes link:definitionArc Equivalent to owl:unionOf. The members of set C include all the members of set A and all the members of set B. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Complex_Classes link:definitionArc Equivalent to owl:intersectionOf. The members of set C include all the members of set A that are also members of set B. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Complex_Classes link:definitionArc Equivalent to has-A type relation. Neither OWL nor RDFS has equivalent. The whole A has part B. (Example, the whole BalanceSheet has part Assets.) link:definitionArc Equivalent to part-of type relationship. Neither OWL nor RDFS has equivalent. The part A is part of the whole B. (Example, the part Assets is part of the whole BalanceSheet.) link:definitionArc Equivalent to owl:hasSelf. Individual is linked to itself http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Property_Restrictions link:definitionArc Equivalent to owl:FunctionalObjectProperty. Property can be related to at most one other individual. For example, every person can have only one husband; every individual can be linked by the hasHusband property to at most one other individual. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Property_Characteristics link:definitionArc Equivalent to owl:IrreflexiveProperty. No individual can be related to itself by such a role. For example, nobody can be his own parent. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Property_Characteristics link:definitionArc Equivalent to owl:ReflexiveProperty. Such a property relates everything to itself. For example, note that everybody has himself as a relative. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Property_Characteristics link:definitionArc Equivalent to owl:TransitiveProperty. A relationship between A and B and between B and C is also true between A and C. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Property_Characteristics link:definitionArc Equivalent to owl:AsymmetricProperty. Opposite of symmetry; if it connects A with B it never connects B with A. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Property_Characteristics link:definitionArc Equivalent to owl:SymmetricProperty. A relationship between A and B is also true between B and A. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Property_Characteristics link:definitionArc Equivalent to owl:hasKey. Each named instance of class expression is uniquely identified by the set of values which these properties attain in relation to the instance. For example, the identification of a person by her social security number. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/#Keys link:definitionArc