<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#astronomy_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Astronomy> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Doctor_of_philosophy>
      <http://www.w3.org/2002/07/owl#equivalentClass>
              <http://dbpedia.org/resource/Doctor_of_Philosophy> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Doctor_of_Philosophy> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#doctor_of_philosophy_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Doctor_of_philosophy> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#doctor_of_philosophyOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#male_1> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Doctor_of_Philosophy> .

<http://dbpedia.org/resource/University_of_Texas_at_Austin>
      a       <http://schema.org/EducationalOrganization> , <http://schema.org/CollegeOrUniversity> , <http://schema.org/Organization> .

<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#receive_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Receive> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#at>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#University_of_texas> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#in>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#astronomy_1> , "1977-01-01"^^<http://www.w3.org/2001/XMLSchema#date> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Agent>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Typhoon_lee> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Theme>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#doctor_of_philosophy_1> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Typhoon_lee>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Typhoon_Lee> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#University_of_texas>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/University_of_Texas_at_Austin> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Astronomy>
      <http://www.w3.org/2002/07/owl#equivalentClass>
              <http://dbpedia.org/resource/Astronomy> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Receive>
      <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/Receive_13052000> .