|
KA2 - Knowledge Acquisition Community Ontology |
||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||
Günter Bachelier, Dr. phil. |
|||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||
|
|
--Message-Boundary-8078
Content-type: text/plain; charset=ISO-8859-1
Content-transfer-encoding: Quoted-printable
Content-description: Text from file 'ka2-onto-2000-11-07.flo'
/*****
Ontology for KA-Community Version 0.991, October 8nd, 1997
All classes in this ontology are sub-sub-classes of the top level class Root.
update, 2000-02-14 MER adopted ontology extensions from the KA2-reseachrch-topic-work
*****/
/*****
Firstly, the is-a hierarchy is presented, attribute definitions follow below.
The is-a hierachy ensures attribute inheritance and subset relationship.
*****/
Root[].
Organization :: Root.
Enterprise :: Organization.
University :: Organization.
Department :: Organization.
Institute :: Organization.
ResearchGroup :: Organization.
Person :: Root.
Employee :: Person.
AcademicStaff :: Employee.
Researcher :: AcademicStaff.
PhDStudent :: Researcher.
Lecturer :: AcademicStaff.
AdministrativeStaff :: Employee.
Secretary :: AdministrativeStaff.
TechnicalStaff :: AdministrativeStaff.
Student :: Person.
PhDStudent :: Student.
Publication :: Root.
Book :: Publication.
Article :: Publication.
TechnicalReport :: Article.
JournalArticle :: Article.
ArticleInBook :: Article.
ConferencePaper :: Article.
WorkshopPaper :: Article.
Journal:: Publication.
SpecialIssue :: Journal.
OnlinePublication :: Publication.
Project :: Root.
ResearchProject :: Project.
DevelopmentProject :: Project.
SoftwareProject :: DevelopmentProject.
Event :: Root.
Conference :: Event.
Workshop :: Event.
Activity :: Event.
SpecialIssue :: Event.
Meeting :: Event.
ResearchTopic :: Root.
KAthroughMachineLearning :: ResearchTopic.
Abduction :: KAthroughMachineLearning.
CaseBaseReasoning :: KAthroughMachineLearning.
CooperativeKnowledgeAcquisition :: KAthroughMachineLearning.
KnowledgeBasedRefinement :: KAthroughMachineLearning.
KnowledgeDiscoveryInDatasets :: KAthroughMachineLearning.
DataMining :: KAthroughMachineLearning.
LearningApprenticeSystems :: KAthroughMachineLearning.
ReinforcementLearning :: KAthroughMachineLearning.
Reuse :: ResearchTopic.
Ontologies :: Reuse.
TheoreticalFoundations :: Ontologies.
SoftwareApplications :: Ontologies.
Methodologies :: Ontologies.
PSMs :: Reuse.
PSMevaluation :: PSMs.
PSMlibraries :: PSMs.
PSMnotations :: PSMs.
AutomatedPSMgeneration :: PSMs.
SysiphusIIIexperiment :: PSMs.
WebMediatedPSMselection :: PSMs.
SoftwareReuse :: Reuse.
SpecificationLanguages :: ResearchTopic.
SpecificationMethodology :: SpecificationLanguages.
SpecificationOfControlKnowledge :: SpecificationLanguages.
SupportToolsForFormalMethods :: SpecificationLanguages.
AutomatedCodeGenerationFromSpecification :: SpecificationLanguages.
ExecutableSpecificationLanguages :: SpecificationLanguages.
ValidationAndVerification :: ResearchTopic.
AnomalyDetection :: ValidationANDVerification.
AnomalyRepairAndKnowledgeRevision :: ValidationANDVerification.
Formalisms :: ValidationANDVerification.
Methodology :: ValidationANDVerification.
VandVofMAS :: ValidationANDVerification.
KnowledgeManagement :: ResearchTopic.
KAmethodologies :: ResearchTopic.
EvaluationOfKA :: ResearchTopic.
KnowledgeElicitation :: ResearchTopic.
Product :: Root.
/*****
Now the attribute definitions were added.
*****/
Root[ keyword =3D>> STRING].
/*****
Organization
*****/
Organization[
name =3D>> STRING;
location =3D>> STRING;
employs =3D>> Person;
publishes =3D>> Publication;
technicalReport =3D>>
TechnicalReport;
carriesOut =3D>> Project;
develops =3D>> Product;
finances =3D>> Project].
University[
student =3D>> Student;
hasParts =3D>> Department].
Department[
hasParts =3D>> Institute].
Institute[
hasParts =3D>> ResearchGroup].
ResearchGroup[
member =3D>> Researcher;
head =3D>> Employee].
/*****
Person
*****/
Person[
photo =3D>> STRING;
firstName =3D>> STRING;
middleInitial =3D>> STRING;
lastName =3D>> STRING;
name =3D>> STRING;
address =3D>> STRING;
email =3D>> STRING;
phone =3D>> STRING;
fax =3D>> STRING;
publication =3D>> Publication;
organizerOrChairOf =3D>> Event;
memberOfPC =3D>> Event;
editor =3D>> Publication].
Employee[
affiliation =3D>> Organization;
worksAtProject =3D>> Project;
headOf =3D>> Project;
headOfGroup =3D>> ResearchGroup].
AcademicStaff[
supervises =3D>> PhDStudent].
Researcher[
researchInterest =3D>> ResearchTopic;
memberOf =3D>> ResearchGroup;
cooperatesWith =3D>> Researcher].
Secretary[
secretaryOf =3D>> ResearchGroup].
Student[
studiesAt =3D>> University].
PhDStudent[
supervisor =3D>> AcademicStaff].
// Multiple inheritance from researcher and from student
/*****
Publication
*****/
Publication[
author =3D>> Person;
title =3D>> STRING;
year =3D>> NUMBER;
abstract =3D>> STRING;
onlineVersion =3D>> OnlinePublication;
describesProject =3D>> Project].
Book[
publisher =3D>> Organization;
editor =3D>> Person;
containsArticle =3D>> ArticleInBook].
TechnicalReport[
series =3D>> STRING;
number =3D>> NUMBER;
organization =3D>> Organization].
JournalArticle[
journal =3D>> Journal;
firstPage =3D>> NUMBER;
lastPage =3D>> NUMBER].
ArticleInBook[
book =3D>> Book;
firstPage =3D>> NUMBER;
lastPage =3D>> NUMBER].
ConferencePaper[
conference =3D>> Conference;
proceedingsTitle =3D>> STRING;
firstPage =3D>> NUMBER;
lastPage =3D>> NUMBER].
WorkshopPaper[
workshop =3D>> Workshop;
proceedingsTitle =3D>> STRING;
firstPage =3D>> NUMBER;
lastPage =3D>> NUMBER].
Journal[ editor =3D>> Person;
publisher =3D>> Organization;
volume =3D>> NUMBER;
number =3D>> NUMBER;
containsArticle =3D>> JournalArticle].
OnlinePublication[
onlineVersionOf =3D>> Publication;
type =3D>> STRING].
/*****
Project
*****/
Project[
title =3D>> STRING;
member =3D>> Employee;
head =3D>> Employee;
isAbout =3D>> ResearchTopic;
projectInfo =3D>> Publication;
carriedOutBy =3D>> Organization;
product =3D>> Product;
financedBy =3D>> Organization].
/*****
Event
*****/
Event[
eventTitle =3D>> STRING;
location =3D>> STRING;
date =3D>> STRING;
programCommittee =3D>> Person;
orgCommittee =3D>> Person;
publication =3D>> Publication;
hasParts =3D>> Event;
atEvent =3D>> Event].
Conference[
series =3D>> STRING;
number =3D>> NUMBER].
Workshop[
series =3D>> STRING;
number =3D>> NUMBER].
Meeting[
participant =3D>> Person;
date =3D>> STRING;
title =3D>> STRING].
/*****
ResearchTopic
*****/
ResearchTopic[
Name =3D>> STRING;
Description =3D>> STRING;
Approaches =3D>> STRING;
ResearchGroups =3D>> ResearchGroup;
Researchers =3D>> Researcher;
RelatedTopics =3D>> ResearchTopic;
SubTopics =3D>> ResearchTopic;
Events =3D>> Event;
Journals =3D>> Journal;
Projects =3D>> Project;
ApplicationAreas =3D>> STRING;
Products =3D>> Product;
Bibliographies =3D>> STRING;
MailingLists =3D>> STRING;
Webpages =3D>> STRING;
InternationalFundingAgencies =3D>> Organization;
NationalFundingAgencies =3D>> Organization;
AuthorOfOntology =3D>> Person;
DateOfLastModification =3D>> STRING].
/*****
Product
*****/
Product[
producedBy =3D>> Project;
developedBy =3D>> Organization].
/*****
These inference rules copy values from one Root to another, i.e. defines the symmetric attributes.
*****/
FORALL O,C,A,V,T V:T <- C[A=3D>>T] AND O:C[A->>V].
/*****
Organization-Rules
*****/
FORALL Person1, Organization1
Organization1:Organization[employs ->> Person1] <->
Person1:Employee[affiliation ->> Organization1].
//Ist Person1 beim AIFB angestellt, dann auch an der Wiwi-Fakult=E4t
//dann auch an der Uni-Ka usw.
FORALL Person1, Organization1, Organization2
Organization1:Organization[employs->>Person1] <-
Person1:Employee[affiliation ->> Organization2] AND
Organization1:Organization[hasParts->>Organization2].
FORALL Publication1, Organization1
Organization1:Organization[publishes ->> Publication1] <->
Publication1:Publication[publisher ->> Organization1].
// actually Publication should be union(Book, Journal)
FORALL TechnicalReport1, Organization1
Organization1:Organization[technicalReport ->> TechnicalReport1] <->
TechnicalReport1:TechnicalReport[organization ->> Organization1].
FORALL Organization1, Project1
Organization1:Organization[carriesOut ->> Project1] <->
Project1:Project[carriedOutBy ->> Organization1].
FORALL Organization1, Product1
Organization1:Organization[develops ->> Product1] <->
Product1:Product[developedBy ->> Organization1].
FORALL Person1, Group1
Group1:ResearchGroup[member ->> Person1] <->
Person1:Researcher[memberOf ->> Group1].
FORALL Employee1, Group1
Employee1:Employee[headOfGroup ->> Group1] <->
Group1:ResearchGroup[head ->> Employee1].
/*****
Person-Rules not allready listed above
*****/
FORALL Person1, Person2
Person1:Researcher[cooperatesWith ->> Person2] <-
Person2:Researcher[cooperatesWith ->> Person1].
FORALL Person1, Publication1
Publication1:Publication[author ->> Person1] <->
Person1:Person[publication ->> Publication1].
FORALL Person1, Event1
Event1:Event[orgCommittee ->> Person1] <->
Person1:Person[organizerOrChairOf ->> Event1].
FORALL Person1, Event1
Event1:Event[programCommittee ->> Person1] <->
Person1:Person[memberOfPC ->> Event1].
FORALL Person1, Publication1
Publication1:Publication[editor ->> Person1] <->
Person1:Person[editor ->> Publication1].
//actually Publication should be union(book, journal)
FORALL Employee1, Project1
Project1:Project[member ->> Employee1] <->
Employee1:Employee[worksAtProject ->> Project1].
FORALL Employee1, Project1
Project1:Project[head ->> Employee1] <->
Employee1:Employee[headOf ->> Project1].
FORALL Person1, Person2
Person1:PhDStudent[supervisor ->> Person2] <->
Person2:AcademicStaff[supervises ->> Person1].
FORALL Person1, Topic1
Topic1:ResearchTopic[Researchers ->> Person1] <->
Person1:Researcher[researchInterest ->> Topic1].
FORALL Person1, University1
University1:University[student ->> Person1] <->
Person1:Student[studiesAt ->> University1].
/*****
Publication-Rules not allready listed above
*****/
FORALL Publication1, Publication2
Publication2:OnlinePublication[onlineVersionOf ->> Publication1] <->
Publication1:Publication[onlineVersion ->> Publication2].
FORALL Publication1, Project1
Project1:Project[projectInfo ->> Publication1] <->
Publication1:Publication[describesProject ->> Project1].
FORALL Publication1, Publication2
Publication2:Book[containsArticle ->> Publication1] <->
Publication1:ArtcileInBook[book ->> Publication2].
FORALL Publication1, Publication2
Publication2:Journal[containsArticle ->> Publication1] <->
Publication1:JournalArticle[journal ->> Publication2].
FORALL Publication1, Event1
Event1:Conference[publication ->> Publication1] <->
Publication1:ConferencePaper[conference ->> Event1].
// publication in Conference is inherited
FORALL Publication1, Event1
Event1:Workshop[publication ->> Publication1] <->
Publication1:WorkshopPaper[workshop ->> Event1].
// publication in Workshop is inherited
/*****
Project-Rules not allready listed above
*****/
FORALL Topic1, Project1
Project1:Project[isAbout ->> Topic1] <->
Topic1:ResearchTopic[Projects ->> Project1].
FORALL Product1, Project1
Project1:Project[product ->> Product1] <->
Product1:Product[producedBy ->> Project1].
FORALL Org1, Project1
Project1:Project[financedBy ->> Org1] <->
Org1:Organization[finances ->> Project1].
/*****
Event-Rules not allready listed above
*****/
FORALL Event1, Event2
Event1:Event[hasParts ->> Event2] <->
Event2:Event[atEvent ->> Event1].
--Message-Boundary-8078--