begin-ontology ontology-container title "Ontology for KA-Community" creator "Dieter Fensel" subject "ontology, KA-Community" description "An ontology for KA-Community" description.release "0.992" publisher "D. Fensel" type ontology format "pseudo-xml" identifier "http://www.aifb.uni-karlsruhe.de/WBS/broker/ka-onto.onto" source "http://ontobroker.aifb.uni-karlsruhe.de/" language "OIL" language "en-uk" ontology-definitions class-def Object slot-constraint keyword value-type STRING class-def Organization subclass-of Object slot-constraint name value-type STRING slot-constraint location value-type STRING slot-constraint employs value-type Person slot-constraint publishes value-type Publication slot-constraint technicalReport value-type TechnicalReport slot-constraint carriesOut value-type Project slot-constraint develops value-type Product slot-constraint finances value-type Project class-def University subclass-of Organization slot-constraint student value-type Student slot-constraint hasParts value-type Department class-def Department subclass-of Organization slot-constraint hasParts value-type Institute class-def Institute subclass-of Organization slot-constraint hasParts value-type ResearchGroup class-def ResearchGroup subclass-of Organization slot-constraint member value-type Researcher slot-constraint head value-type Employee class-def Enterprise subclass-of Organization class-def Person subclass-of Object slot-constraint photo value-type STRING slot-constraint firstName value-type STRING slot-constraint middleInitial value-type STRING slot-constraint lastName value-type STRING slot-constraint name value-type STRING slot-constraint address value-type STRING slot-constraint email value-type STRING slot-constraint phone value-type STRING slot-constraint fax value-type STRING class-def Employee subclass-of Person slot-constraint affiliation value-type Organization slot-constraint worksAtProject value-type Project slot-constraint headOf value-type Project slot-constraint headOfGroup value-type ResearchGroup class-def AcademicStaff subclass-of Employee slot-constraint supervises value-type PhDStudent slot-constraint publication value-type Publication slot-constraint organizerOrChairOf value-type Event slot-constraint memberOfPC value-type Event slot-constraint editor value-type Publication class-def Researcher subclass-of AcademicStaff slot-constraint researchInterest value-type ResearchTopic slot-constraint memberOf value-type ResearchGroup slot-constraint cooperatesWith value-type Researcher class-def Secretary subclass-of AdministrativeStaff slot-constraint secretaryOf value-type ResearchGroup class-def Student subclass-of Person slot-constraint studiesAt value-type University class-def PhDStudent subclass-of ( Student and Researcher ) slot-constraint supervisor value-type AcademicStaff class-def Lecturer subclass-of AcademicStaff class-def AdminstrativeStaff subclass-of Employee class-def TechnicalStaff subclass-of AdminstrativeStaff class-def Publication subclass-of Object slot-constraint author value-type Person slot-constraint Title value-type STRING slot-constraint year value-type NUMBER slot-constraint abstract value-type STRING slot-constraint onlineVersion value-type OnlinePublication slot-constraint describesProject value-type Project class-def Book subclass-of Publication slot-constraint Publisher value-type Organization slot-constraint editor value-type Person slot-constraint containsArticle value-type ArticleInBook class-def TechnicalReport subclass-of Article slot-constraint series value-type STRING slot-constraint number value-type NUMBER slot-constraint organization value-type Organization class-def JournalArticle subclass-of Article slot-constraint journal value-type Journal slot-constraint firstPage value-type NUMBER slot-constraint lastPage value-type NUMBER class-def ArticleInBook subclass-of Article slot-constraint book value-type Book slot-constraint firstPage value-type NUMBER slot-constraint lastPage value-type NUMBER class-def ConferencePaper subclass-of Article slot-constraint conference value-type Conference slot-constraint proceedingsTitle value-type STRING slot-constraint firstPage value-type NUMBER slot-of lastPage value-type NUMBER class-def WorkshopPaper subclass-of Article slot-constraint workshop value-type Workshop slot-constraint proceedingsTitle value-type STRING slot-constraint firstPage value-type NUMBER slot-constraint lastPage value-type NUMBER class-def Journal subclass-of Publication slot-constraint editor value-type Person slot-constraint Publisher value-type Organization slot-constraint volume value-type NUMBER slot-constraint number value-type NUMBER slot-constraint containsArticle value-type JournalArticle class-def OnlinePublication subclass-of Publication slot-constraint onlineVersionOf value-type Publication slot-constraint Type value-type STRING class-def Article subclass-of Publication class-def SpecialIssuePublication subclass-of Journal class-def Project subclass-of Object slot-constraint Title value-type STRING slot-constraint member value-type Employee slot-constraint head value-type Employee slot-constraint isAbout value-type ResearchTopic slot-constraint projectInfo value-type Publication slot-constraint carriedOutBy value-type Organization slot-constraint product value-type Product slot-constraint financedBy value-type Organization class-def ResearchProject subclass-of Project class-def DevelopmentProject subclass-of Project class-def SoftwareProject subclass-of DevelopmentProject class-def Event subclass-of Object slot-constraint eventTile value-type STRING slot-constraint location value-type STRING slot-constraint Date value-type STRING slot-constraint programCommittee value-type Person slot-constraint orgCommittee value-type Person slot-constraint publication value-type Publication slot-constraint hasParts value-type Event slot-constraint atEvent value-type Event class-def Conference subclass-of Event slot-constraint series value-type STRING slot-constraint number value-type NUMBER class-def Workshop subclass-of Event slot-constraint series value-type STRING slot-constraint number value-type NUMBER class-def Meeting subclass-of Event slot-constraint participant value-type Person slot-constraint Date value-type STRING slot-constraint Title value-type STRING class-def Activity subclass-of Event class-def SpecialIssueEvent subclass-of Event class-def ResearchTopic subclass-of Object slot-constraint name value-type STRING slot-constraint Description value-type STRING slot-constraint approaches value-type STRING slot-constraint researchGroups value-type ResearchGroup slot-constraint researchers value-type Researcher slot-constraint relatedTopics value-type ResearchTopic slot-constraint subTopics value-type ResearchTopic slot-constraint events value-type Event slot-constraint journals value-type Journal slot-constraint projects value-type Project slot-constraint applicationAreas value-type STRING slot-constraint products value-type Product slot-constraint bibliographies value-type Publication slot-constraint mailingLists value-type STRING slot-constraint webpages value-type STRING slot-constraint internationalFundingAgencies value-type Organization slot-constraint nationalFundingAgencies value-type Organization slot-constraint authorOfOntology value-type Researcher slot-constraint dateOfLastModification value-type STRING class-def Product subclass-of Object slot-constraint productedBy value-type Project slot-constraint developedBy value-type Organization slot-constraint productName value-type STRING slot-constraint productPublication value-type Publication slot-constraint productFAQ value-type STRING slot-constraint productMailingList value-type STRING class-def KAThroughMachineLearning subclass-of ResearchTopic class-def Abduction subclass-of KAThroughMachineLearning class-def CaseBaseReasoning subclass-of KAThroughMachineLearning class-def CooperativeKnowledgeAcquisition subclass-of KAThroughMachineLearning class-def KnowledgeBasedRefinement subclass-of KAThroughMachineLearning class-def KnowledgeDiscoveryInDatasets subclass-of KAThroughMachineLearning class-def DataMining subclass-of KAThroughMachineLearning class-def LearningApprenticeSystems subclass-of KAThroughMachineLearning class-def ReinforcementLearning subclass-of KAThroughMachineLearning class-def Reuse subclass-of ResearchTopic class-def Ontologies subclass-of Reuse class-def TheoreticalFoundations subclass-of Ontologies class-def SoftwareApplications subclass-of Ontologies class-def Methodologies subclass-of Ontologies class-def PSMs subclass-of Reuse class-def PSMevaluation subclass-of PSMs class-def PSMlibraries subclass-of PSMs class-def PSMnotations subclass-of PSMs class-def AutomatedPSMGeneration subclass-of PSMs class-def Sysiphus_III_Experiment subclass-of PSMs class-def WebMediatedPSMSelection subclass-of PSMs class-def SoftwareReuse subclass-of Reuse class-def SpecificationLanguages subclass-of ResearchTopic class-def SpecificationMethodology subclass-of SpecificationLanguages class-def SpecificationOfControlKnowledge subclass-of SpecificationLanguages class-def SupportToolsForFormalMethods subclass-of SpecificationLanguages class-def AutomatedCodeGenerationFromSpecification subclass-of SpecificationLanguages class-def ExecutableSpecificationLanguages subclass-of SpecificationLanguages class-def Validation_And_Verification subclass-of ResearchTopic class-def AnomalyDetection subclass-of Validation_And_Verification class-def AnomalyRepairAndKnowledgeRevision subclass-of Validation_And_Verification class-def Formalisms subclass-of Validation_And_Verification class-def Methodology subclass-of Validation_And_Verification class-def V_And_V_Of_MAS subclass-of Validation_And_Verification class-def KnowledgeManagement subclass-of ResearchTopic class-def KAMethodologies subclass-of ResearchTopic class-def EvaluationOfKA subclass-of ResearchTopic class-def KnowledgeElicitation subclass-of ResearchTopic class-def KAMethodology subclass-of Product class-def Guideline subclass-of KAMethodology class-def PaperLibrary subclass-of KAMethodology class-def Ontology subclass-of KAMethodology class-def PSM subclass-of KAMethodology class-def ModelingLanguage subclass-of KAMethodology class-def SpecificationLanguage subclass-of KAMethodology class-def ComputerSupport subclass-of Product class-def Editor subclass-of ComputerSupport class-def TransformationTool subclass-of ComputerSupport class-def PSMLibrary subclass-of ComputerSupport class-def OntologyLibrary subclass-of ComputerSupport class-def Validator subclass-of ComputerSupport class-def Verifier subclass-of ComputerSupport class-def ImplementationEnvironment subclass-of ComputerSupport class-def ElicitationTool subclass-of ComputerSupport class-def InternetTool subclass-of ComputerSupport class-def NLParser subclass-of ComputerSupport end-ontology