<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#thing_4>
      a       <http://www.ontologydesignpatterns.org/ont/boxer/boxer.owl#Thing%40thing> .

<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#enter_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Enter> ;
      <http://www.ontologydesignpatterns.org/ont/boxer/boxer.owl#patient>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Washington_college> ;
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#thing_2> ;
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasQuality>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Later> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#in>
              "1839-01-01"^^<http://www.w3.org/2001/XMLSchema#date> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Theme>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Edward_c._burks> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Washington_college>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Washington_and_Lee_University> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#class_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Class> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#classOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#male_1> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Enter>
      <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/Enter_51010000> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#honor_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#HighestHonor> , <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Honor> ;
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasQuality>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Highest> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#highestAmong>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Honor> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#highestHonorOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#class_1> .

<http://www.ontologydesignpatterns.org/ont/boxer/boxer.owl#Thing%40thing>
      <http://www.w3.org/2000/01/rdf-schema#subClassOf>
              <http://www.ontologydesignpatterns.org/ont/boxer/boxer.owl#Thing> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Edward_c._burks>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Edward_C._Burks> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Graduate>
      <http://www.w3.org/2000/01/rdf-schema#subClassOf>
              <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#graduate_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Graduate> ;
      <http://www.ontologydesignpatterns.org/ont/boxer/boxer.owl#patient>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#thing_4> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#in>
              "1841-06-01"^^<http://www.w3.org/2001/XMLSchema#date> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#with>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#honor_1> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#thing_2>
      a       <http://www.ontologydesignpatterns.org/ont/boxer/boxer.owl#Thing%40thing> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#HighestHonor>
      <http://www.w3.org/2000/01/rdf-schema#subClassOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Honor> ;
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Highest> .

<http://dbpedia.org/resource/Washington_and_Lee_University>
      a       <http://schema.org/EducationalOrganization> , <http://schema.org/CollegeOrUniversity> , <http://schema.org/Organization> .