<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#program_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Program> ;
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Master_of_science> , <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#there_1> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#locatedIn>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Computational_finance> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Electrical_engineering>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Electrical_engineering> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#bachelor_of_arts_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Bachelor_of_arts> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Bachelor_of_Arts> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Carnegie_mellon_university>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Carnegie_Mellon_University> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#University_of_illinois>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/University_of_Illinois_at_Urbana–Champaign> .

<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#in>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Electrical_engineering> , "1972-01-01"^^<http://www.w3.org/2001/XMLSchema#date> , <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Ph.d.> , "1977-01-01"^^<http://www.w3.org/2001/XMLSchema#date> , <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#West_virginia_university> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#locatedIn>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Mathematics> , <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#M.s.> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Agent>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Orion_hoch_professor> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Source>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#University_of_illinois> ;
      <http://www.ontologydesignpatterns.org/ont/vn/abox/role/Theme>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#bachelor_of_arts_1> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#there_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#There> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Orion_hoch_professor>
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Steven_s._shreve> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#of>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Mathematics> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#German>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/German_American> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#situation_1>
      a       <http://www.ontologydesignpatterns.org/ont/boxer/boxing.owl#Situation> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#at>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Carnegie_mellon_university> , <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#co-founder_1> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#in>
              "1993-01-01"^^<http://www.w3.org/2001/XMLSchema#date> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Bachelor_of_arts>
      <http://www.w3.org/2002/07/owl#equivalentClass>
              <http://dbpedia.org/resource/Bachelor_of_Arts> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Bachelor_of_Arts> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Computational_finance>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Computational_finance> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Master_of_science>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Master_of_Science> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#co-founder_1>
      a       <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Co-founder> ;
      <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#co-founderOf>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#program_1> .

<http://dbpedia.org/resource/West_Virginia_University>
      a       <http://schema.org/EducationalOrganization> , <http://schema.org/CollegeOrUniversity> , <http://schema.org/Organization> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#M.s.>
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasQuality>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Then> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Mathematics>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Mathematics> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#West_virginia_university>
      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasQuality>
              <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#As> , <http://www.ontologydesignpatterns.org/ont/fred/domain.owl#German> ;
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/West_Virginia_University> .

<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> .

<http://dbpedia.org/resource/Carnegie_Mellon_University>
      a       <http://schema.org/EducationalOrganization> , <http://schema.org/CollegeOrUniversity> , <http://schema.org/Organization> .

<http://www.ontologydesignpatterns.org/ont/fred/domain.owl#Steven_s._shreve>
      <http://www.w3.org/2002/07/owl#sameAs>
              <http://dbpedia.org/resource/Steven_S._Shreve> .