Otóż małżonkiem jest zarówno dana, której podmiotem jest relacja ‘jest mężem’, jak i dana, której przedmiotem jest dana relacja (w języku grafów: małżonkiem jest wierzchołek grafu, z którego wychodzi krawędź ‘jest mężem’, jak i wierzchołek, do którego taka krawędź wchodzi).
Relację ‘jest mężem’ możemy też dość dokładnie określić. Jest to relacja funkcjonalna (tzn. że każdy podmiot, którego dotyczy ta relacja, ma co najwyżej jeden przedmiot). Jest ona też odwrotnie funkcjonalna (przedmiot tej relacji ma co najwyżej jeden podmiot). Nie jest ona przechodnia (tzn. nie ma takiej własności, że jeśli A jest mężem B a B jest mężem C to A jest mężem C), posiada natomiast relację odwrotną. Tą relacją jest ‘jest żoną’ (każdy A, który jest mężem B będzie spełniać następującą relację: B jest żoną A).
Mechanizmy wnioskowania Język OWL pozwala na definiowanie zależności między danymi, dzięki czemu można przeprowadzać wnioskowanie. Jednakże osobną sprawą jest przygotowanie odpowiednich mechanizmów, które takie wnioskowanie przeprowadzą poprawnie, a jednocześnie w odpowiednio szybkim czasie. Program, przeprowadzający wnioskowanie nosi miano ‘reasonera’ (brak polskiego odpowiednika – w wolnym tłumaczeniu ‘wnioskujący’).