<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#include_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Include> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Agent>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#classmate_1> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Theme>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Justin_nickels> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#NowMayor>
      <http://www.w3.org/2000/01/rdf-schema#subClassOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Mayor> ;
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Now> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Justin_nickels>
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#mayor_1> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Justin_Nickels> .

<http://dbpedia.org/resource/Justin_Nickels>
      a       <http://schema.org/Person> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Manitowoc_lutheran_high_school>
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#where>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#include_1> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Manitowoc_Lutheran_High_School> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#male_1>
      a       <http://www.ontologydesignpatterns.org/ont/boxer/boxer.owl#Male> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Include>
      <http://www.w3.org/2000/01/rdf-schema#subClassOf>
              <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event> ;
      <http://www.w3.org/2002/07/owl#equivalentClass>
              <http://www.ontologydesignpatterns.org/ont/vn/data/Include_107000000> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#mayor_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#NowMayor> ;
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasQuality>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Now> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#nowMayorOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Manitowoc> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Garth_neustadter>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Graduate> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#at>
              "2005-01-01"^^<http://www.w3.org/2001/XMLSchema#date> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#graduateOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Manitowoc_lutheran_high_school> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Garth_Neustadter> .

<http://dbpedia.org/resource/Manitowoc_Lutheran_High_School>
      a       <http://schema.org/EducationalOrganization> , <http://schema.org/School> , <http://schema.org/Organization> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#classmate_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Classmate> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#classmateOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#male_1> .