Exemplo de modelização em RDF schema (Navio extraído do livro Sematic WEb for the Working Ontologist)  com uso do reasoner para inferências de classe com base no domínio e  contradomínio de propriedades. Uso de propriedade funcional,  inversamente funcional e de inversa de propriedades.