### Chair concept: ###

Old:

	Chair \equiv   person and ('is the head of' some 'university department')
	Chair \sqsubseteq Professor
	Chair \sqsubseteq person and ('Works For' some organization)

New:

	ub:Chair a rdfs:Class;
	rdfs:subClassOf ub:Person,
		ub:Professor.

	ub:headOf a rdf:Property;
	rdfs:domain ub:Person;
	rdfs:range ub:Organization;
	rdfs:subPropertyOf ub:worksFor.

	ub:worksFor a rdf:Property;
	rdfs:domain ub:Person;
	rdfs:range ub:Organization;
	rdfs:subPropertyOf ub:memberOf.


### Director concept: ### 

Old:

	Director \equiv person and ('is the head of' some program)

New:

	ub:Director a rdfs:Class;
	rdfs:subClassOf ub:Person.

### Employee concept ###

Old:

	Employee \equiv person and ('Works For' some organization)

New:

	ub:Employee a rdfs:Class;
	rdfs:subClassOf ub:Person.

Note: It affects its entire subclass taxonomy too! 

### Student concept ###

Old:

	Student \equiv person and ('is taking' some 'teaching course')

New:

	ub:Student a rdfs:Class;
	rdfs:subClassOf ub:Person.

	ub:takesCourse a rdf:Property;
	rdfs:domain ub:Student;
	rdfs:range ub:Course.


### Graduatestudent concept ###

Old:

	Graduatestudent \sqsubseteq 'is taking' some 'Graduate Level Courses'
	Graduatestudent \sqsubseteq Person

New:

	ub:GraduateStudent a rdfs:Class;
	rdfs:subClassOf ub:Student.


### Undergraduatestudent concept ###

Old:

	Undergradstudent \sqsubseteq person and ('is taking' some 'teaching course')
	Undergradstudent \sqsubseteq student

New:

	ub:UndergraduateStudent a rdfs:Class;
	rdfs:subClassOf ub:Student.


### ResearchAssistant concept ###

Old:

	ResearchAssistant  \sqsubseteq  'Works For' some 'research group'
	ResearchAssistant  \sqsubseteq person

New:

	ub:ResearchAssistant a rdfs:Class;
		rdfs:subClassOf ub:Faculty.

### TeachingAssistant concept ###

Old:

	TeachingAssistant \equiv person and ('is a teaching assistant for' some 'teaching course')

New:

	ub:TeachingAssistant a rdfs:Class;
	rdfs:subClassOf ub:Faculty.

### degree Property ###

Old:

	degreeFrom inverseOf hasAlumnus

New:

	-> inverseOf relationship is removed

### member Property ###

Old:

	member inverseOf 'member of'

New:

	-> inverseOf relationship is removed


### memberOf ###

Old:

	memberOf inverseOf 'has as a member'

New:

	 -> inverseOf relationship is removed
	ub:memberOf a rdf:Property;
	rdfs:domain ub:Person;
	rdfs:range ub:Organization.


### SubjiCourse subclasses, i=1,…,20 and pairwise disjoints ###

New:

	ub:Subj1Course rdf:type rdfs:Class ; rdfs:subClassOf ub:Course ; owl:disjointWith ub:Subj2Course .

### SubjiDepartment subclasses i=1,…,20 and pairwise disjoints ###

New:

	ub:Subj5Department rdf:type rdfs:Class ; rdfs:subClassOf ub:Department ; owl:disjointWith ub:Subj2Department .

### SubjiProfessor subclasses i=1,…,20 and pairwise disjoints ###

New:

	ub:Subj3Professor rdf:type rdfs:Class ; rdfs:subClassOf ub:Professor ; owl:disjointWith ub:Subj4Professor .


### SubjiStudent subclasses i=1,…,20 and pairwise disjoints ###

New:

	ub:Subj10Student rdf:type rdfs:Class ; rdfs:subClassOf ub:Student ; owl:disjointWith ub:Subj2Student .


### Other owl:disjointWith axioms ###

New:

	ub:hasAlumnus rdfs:range ub:Alumnus .
	ub:Alumnus owl:disjointWith ub:UndergraduateStudent .
	
	ub:Employee owl:disjointWith ub:Student .
	
	ub:UndergraduateStudent owl:disjointWith ub:GraduateStudent .
	
	ub:AssistantProfessor owl:disjointWith ub:AssociateProfessor .
	ub:AssistantProfessor owl:disjointWith ub:FullProfessor .
	
	ub:AssociateProfessor owl:disjointWith ub:FullProfessor .
	
	ub:PostDoc owl:disjointWith ub:Professor .
	ub:Lecturer owl:disjointWith ub:Professor .
	
	ub:ConferencePaper owl:disjointWith ub:Book .
	ub:ConferencePaper owl:disjointWith ub:Article .
	ub:ConferencePaper owl:disjointWith ub:Manual .
	ub:ConferencePaper owl:disjointWith ub:JournalArticle .
	ub:ConferencePaper owl:disjointWith ub:Software .
	ub:ConferencePaper owl:disjointWith ub:UnofficialPublication .
	ub:ConferencePaper owl:disjointWith ub:TechnicalReport .
	
	ub:Article owl:disjointWith ub:Book .
	ub:Article owl:disjointWith ub:Manual .
	ub:Article owl:disjointWith ub:JournalArticle .
	ub:Article owl:disjointWith ub:Software .
	ub:Article owl:disjointWith ub:UnofficialPublication .
	ub:Article owl:disjointWith ub:TechnicalReport .
	
	ub:Book owl:disjointWith ub:Manual .
	ub:Book owl:disjointWith ub:JournalArticle .
	ub:Book owl:disjointWith ub:Software .
	ub:Book owl:disjointWith ub:UnofficialPublication .
	ub:Book owl:disjointWith ub:TechnicalReport .
	
	ub:Manual owl:disjointWith ub:JournalArticle .
	ub:Manual owl:disjointWith ub:Software .
	ub:Manual owl:disjointWith ub:UnofficialPublication .
	ub:Manual owl:disjointWith ub:TechnicalReport .
	
	ub:JournalArticle owl:disjointWith ub:Software .
	ub:JournalArticle owl:disjointWith ub:UnofficialPublication .
	ub:JournalArticle owl:disjointWith ub:TechnicalReport .
	
	ub:UnofficialPublication owl:disjointWith ub:Software .
	ub:UnofficialPublication owl:disjointWith ub:TechnicalReport .
	
	ub:Software owl:disjointWith ub:TechnicalReport .