Ontology Container Information

Title:

"Ontology for Common European Research Information Format"

Creator:

"Andrei S. Lopatenko"

Description:

"The ontology for research data according to CERIF schema This ontology intended to serve CERIF compatible databases The main purposition is development of Semantic Web solution The AURIS-MM CERIF RDF Schema is based on this ontology KA. terms are from KA2 Ontology deevloped by Dieter Fensel "

Release:

"1.0"

Classes:

152

Slots:

284

Individuals:

0

Axioms:

8

Classes

Academic_Title CV Classification Contact Event Event_Description Event_Name Expertise_Skill Expertise_Skill_Description Expertise_Skills_Name Human KA.Abduction KA.AcademicStaff KA.Activity KA.AdministrativeStaff KA.AnomalyDetection KA.AnomalyRepairAndKnowledgeRevision KA.Article KA.ArticleInBook KA.AutomatedCodeGenerationFromSpecification KA.AutomatedPSMGeneration KA.Book KA.CaseBaseReasoning KA.ComputerSupport KA.Conference KA.ConferencePaper KA.CooperativeKnowledgeAcquisition KA.DataMining KA.Department KA.DevelopmentProject KA.Editor KA.ElicitationTool KA.Employee KA.Enterprise KA.EvaluationOfKA KA.Event KA.ExecutableSpecificationLanguages KA.Formalisms KA.Guideline KA.ImplementationEnvironment KA.Institute KA.InternetTool KA.Journal KA.JournalArticle KA.KAMethodologies KA.KAMethodology KA.KAThroughMachineLearning KA.KnowledgeBasedRefinement KA.KnowledgeDiscoveryInDatasets KA.KnowledgeElicitation KA.KnowledgeManagement KA.LearningApprenticeSystems KA.Lecturer KA.Meeting KA.Methodologies KA.Methodology KA.ModelingLanguage KA.NLParser KA.Object KA.OnlinePublication KA.Ontologies KA.Ontology KA.OntologyLibrary KA.Organization KA.PSM KA.PSMLibrary KA.PSMevaluation KA.PSMlibraries KA.PSMnotations KA.PSMs KA.PaperLibrary KA.Person KA.PhDStudent KA.Product KA.Project KA.Publication KA.ReinforcementLearning KA.ResearchGroup KA.ResearchProject KA.ResearchTopic KA.Researcher KA.Reuse KA.Secretary KA.SoftwareApplications KA.SoftwareProject KA.SoftwareReuse KA.SpecialIssueEvent KA.SpecialIssuePublication KA.SpecificationLanguage KA.SpecificationLanguages KA.SpecificationMethodology KA.SpecificationOfControlKnowledge KA.Student KA.SupportToolsForFormalMethods KA.Sysiphus_III_Experiment KA.TechnicalReport KA.TechnicalStaff KA.TheoreticalFoundations KA.TransformationTool KA.University KA.V_And_V_Of_MAS KA.Validation_And_Verification KA.Validator KA.Verifier KA.WebMediatedPSMSelection KA.Workshop KA.WorkshopPaper KA.integer KA.string Multimedia_type OrgUnit OrgUnit-Research-Activity OrgUnit-Research-Interest OrgUnit-Result-Publication Org_contact Orgunit_relation Orgunit_type Patent_status Patent_type Pers_contact Person PersonPublication Person_Event Person_Exp_Skill Person_product Product_type Proj_classification Proj_orgunit Proj_orgunit_role Proj_per_role Proj_proj_role Proj_recursive Project Project-abstract Project-keyword Project-title Project_Status Project_person Project_publication Project_publication_role PubTitle Publication Publication_translation Publication_type Qualification Research_Interest Result_patent Result_product Result_publication Service Service_description Service_name

Slots

Individuals

class Academic_Title

type:

primitive

constraints:

slot-constraint academic_title_title has-value top
slot-constraint academic_title_title_full has-value top

used in classes:

Person

class CV

type:

primitive

constraints:

slot-constraint cv_uri has-value top
slot-constraint cv_id has-value top

class Classification

type:

primitive

constraints:

slot-constraint classification_cla_class has-value top
slot-constraint classification_cla_class_code has-value top
slot-constraint classification_class has-value top
slot-constraint classification_class_code has-value top
slot-constraint classification_url has-value top

used in classes:

Proj_classification

class Contact

type:

primitive

constraints:

slot-constraint con_province_state has-value top
slot-constraint con_email has-value top
slot-constraint con_id has-value top
slot-constraint con_fax has-value top
slot-constraint con_postal_zone has-value top
slot-constraint con_region_code has-value top
slot-constraint con_uri has-value top
slot-constraint con_addrline1 has-value top
slot-constraint con_addrline2 has-value top
slot-constraint con_country_code has-value top
slot-constraint con_city_town has-value top

used in classes:

Org_contact
Pers_contact

class Event

type:

primitive

constraints:

slot-constraint event_id has-value top
slot-constraint event_type has-value top
slot-constraint event_end_date has-value top
slot-constraint event_location has-value top
slot-constraint event_fee_or_free has-value top
slot-constraint event_start_date has-value top
slot-constraint event_url has-value top
slot-constraint event_ev_name min-cardinality 0 Event_Name
slot-constraint event_description min-cardinality 0 Event_Description

used in classes:

Person_Event

axioms:

equivalent KA.Event Event

class Event_Description

type:

primitive

constraints:

slot-constraint ev_desc_description has-value top
slot-constraint ev_desc_language has-value top
slot-constraint ev_desc_trans_type has-value top

used in classes:

Event

class Event_Name

type:

primitive

constraints:

slot-constraint ev_name_language has-value top
slot-constraint ev_name_name has-value top
slot-constraint ev_name_trans_type has-value top

used in classes:

Event

class Expertise_Skill

type:

primitive

constraints:

slot-constraint exp_skill_id has-value top
slot-constraint exp_skill_names min-cardinality 0 Expertise_Skills_Name
slot-constraint exp_skill_descriptions min-cardinality 0 Expertise_Skill_Description

used in classes:

Person_Exp_Skill

class Expertise_Skill_Description

type:

primitive

constraints:

slot-constraint exp_sk_desc_description has-value top
slot-constraint exp_sk_desc_language has-value top
slot-constraint exp_sk_n_trans_type has-value top

used in classes:

Expertise_Skill

class Expertise_Skills_Name

type:

primitive

constraints:

slot-constraint exp_sk_n_trans_type has-value top
slot-constraint exp_sk_n_language has-value top
slot-constraint exp_sk_n_name has-value top

used in classes:

Expertise_Skill

class Human

type:

primitive

axioms:

equivalent Human Person

class KA.Abduction

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.AcademicStaff

type:

primitive

superclasses:

KA.Employee

constraints:

slot-constraint KA.supervises value-type KA.PhDStudent
slot-constraint KA.publication value-type KA.Publication
slot-constraint KA.organizerOrChairOf value-type KA.Event
slot-constraint KA.memberOfPC value-type KA.Event
slot-constraint KA.editor value-type KA.Publication

known subclasses:

KA.Lecturer
KA.Researcher

used in classes:

KA.Lecturer
KA.PhDStudent
KA.Researcher

class KA.Activity

type:

primitive

superclasses:

KA.Event

class KA.AdministrativeStaff

type:

primitive

superclasses:

KA.Employee

known subclasses:

KA.Secretary
KA.TechnicalStaff

used in classes:

KA.Secretary
KA.TechnicalStaff

class KA.AnomalyDetection

type:

primitive

superclasses:

KA.Validation_And_Verification

class KA.AnomalyRepairAndKnowledgeRevision

type:

primitive

superclasses:

KA.Validation_And_Verification

class KA.Article

type:

primitive

superclasses:

KA.Publication

known subclasses:

KA.ArticleInBook
KA.ConferencePaper
KA.JournalArticle
KA.TechnicalReport
KA.WorkshopPaper

used in classes:

KA.ArticleInBook
KA.ConferencePaper
KA.JournalArticle
KA.TechnicalReport
KA.WorkshopPaper

class KA.ArticleInBook

type:

primitive

superclasses:

KA.Article

constraints:

slot-constraint KA.book value-type KA.Book
slot-constraint KA.firstPage value-type KA.integer
slot-constraint KA.lastPage value-type KA.integer

used in classes:

KA.Book

class KA.AutomatedCodeGenerationFromSpecification

type:

primitive

superclasses:

KA.SpecificationLanguages

class KA.AutomatedPSMGeneration

type:

primitive

superclasses:

KA.PSMs

class KA.Book

type:

primitive

superclasses:

KA.Publication

constraints:

slot-constraint KA.Publisher value-type KA.Organization
slot-constraint KA.editor value-type KA.Person
slot-constraint KA.containsArticle value-type KA.ArticleInBook

used in classes:

KA.ArticleInBook

class KA.CaseBaseReasoning

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.ComputerSupport

type:

primitive

superclasses:

KA.Product

known subclasses:

KA.Editor
KA.ElicitationTool
KA.ImplementationEnvironment
KA.InternetTool
KA.NLParser
KA.OntologyLibrary
KA.PSMLibrary
KA.TransformationTool
KA.Validator
KA.Verifier

used in classes:

KA.Editor
KA.ElicitationTool
KA.ImplementationEnvironment
KA.InternetTool
KA.NLParser
KA.OntologyLibrary
KA.PSMLibrary
KA.TransformationTool
KA.Validator
KA.Verifier

class KA.Conference

type:

primitive

superclasses:

KA.Event

constraints:

slot-constraint KA.series value-type KA.string
slot-constraint KA.number value-type KA.integer

used in classes:

KA.ConferencePaper

class KA.ConferencePaper

type:

primitive

superclasses:

KA.Article

constraints:

slot-constraint KA.conference value-type KA.Conference
slot-constraint KA.proceedingsTitle value-type KA.string
slot-constraint KA.firstPage value-type KA.integer
slot-constraint KA.lastPage value-type KA.integer

class KA.CooperativeKnowledgeAcquisition

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.DataMining

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.Department

type:

primitive

superclasses:

KA.Organization

constraints:

slot-constraint KA.hasParts value-type KA.Institute

used in classes:

KA.University

class KA.DevelopmentProject

type:

primitive

superclasses:

KA.Project

known subclasses:

KA.SoftwareProject

used in classes:

KA.SoftwareProject

class KA.Editor

type:

primitive

superclasses:

KA.ComputerSupport

class KA.ElicitationTool

type:

primitive

superclasses:

KA.ComputerSupport

class KA.Employee

type:

primitive

superclasses:

KA.Person

constraints:

slot-constraint KA.affiliation value-type KA.Organization
slot-constraint KA.worksAtProject value-type KA.Project
slot-constraint KA.headOf value-type KA.Project
slot-constraint KA.headOfGroup value-type KA.ResearchGroup

known subclasses:

KA.AcademicStaff
KA.AdministrativeStaff

used in classes:

KA.AcademicStaff
KA.AdministrativeStaff
KA.Project
KA.ResearchGroup

class KA.Enterprise

type:

primitive

superclasses:

KA.Organization

class KA.EvaluationOfKA

type:

primitive

superclasses:

KA.ResearchTopic

class KA.Event

type:

primitive

superclasses:

KA.Object

constraints:

slot-constraint KA.eventTile value-type KA.string
slot-constraint KA.location value-type KA.string
slot-constraint KA.Date value-type KA.string
slot-constraint KA.programCommittee value-type KA.Person
slot-constraint KA.orgCommittee value-type KA.Person
slot-constraint KA.publication value-type KA.Publication
slot-constraint KA.hasParts value-type KA.Event
slot-constraint KA.atEvent value-type KA.Event

known subclasses:

KA.Activity
KA.Conference
KA.Meeting
KA.SpecialIssueEvent
KA.Workshop

used in classes:

KA.AcademicStaff
KA.Activity
KA.Conference
KA.Event
KA.Meeting
KA.ResearchTopic
KA.SpecialIssueEvent
KA.Workshop

axioms:

equivalent KA.Event Event

class KA.ExecutableSpecificationLanguages

type:

primitive

superclasses:

KA.SpecificationLanguages

class KA.Formalisms

type:

primitive

superclasses:

KA.Validation_And_Verification

class KA.Guideline

type:

primitive

superclasses:

KA.KAMethodology

class KA.ImplementationEnvironment

type:

primitive

superclasses:

KA.ComputerSupport

class KA.Institute

type:

primitive

superclasses:

KA.Organization

constraints:

slot-constraint KA.hasParts value-type KA.ResearchGroup

used in classes:

KA.Department

class KA.InternetTool

type:

primitive

superclasses:

KA.ComputerSupport

class KA.Journal

type:

primitive

superclasses:

KA.Publication

constraints:

slot-constraint KA.editor value-type KA.Person
slot-constraint KA.Publisher value-type KA.Organization
slot-constraint KA.volume value-type KA.integer
slot-constraint KA.number value-type KA.integer
slot-constraint KA.containsArticle value-type KA.JournalArticle

known subclasses:

KA.SpecialIssuePublication

used in classes:

KA.JournalArticle
KA.ResearchTopic
KA.SpecialIssuePublication

class KA.JournalArticle

type:

primitive

superclasses:

KA.Article

constraints:

slot-constraint KA.journal value-type KA.Journal
slot-constraint KA.firstPage value-type KA.integer
slot-constraint KA.lastPage value-type KA.integer

used in classes:

KA.Journal

class KA.KAMethodologies

type:

primitive

superclasses:

KA.ResearchTopic

class KA.KAMethodology

type:

primitive

superclasses:

KA.Product

known subclasses:

KA.Guideline
KA.ModelingLanguage
KA.Ontology
KA.PSM
KA.PaperLibrary
KA.SpecificationLanguage

used in classes:

KA.Guideline
KA.ModelingLanguage
KA.Ontology
KA.PSM
KA.PaperLibrary
KA.SpecificationLanguage

class KA.KAThroughMachineLearning

type:

primitive

superclasses:

KA.ResearchTopic

known subclasses:

KA.Abduction
KA.CaseBaseReasoning
KA.CooperativeKnowledgeAcquisition
KA.DataMining
KA.KnowledgeBasedRefinement
KA.KnowledgeDiscoveryInDatasets
KA.LearningApprenticeSystems
KA.ReinforcementLearning

used in classes:

KA.Abduction
KA.CaseBaseReasoning
KA.CooperativeKnowledgeAcquisition
KA.DataMining
KA.KnowledgeBasedRefinement
KA.KnowledgeDiscoveryInDatasets
KA.LearningApprenticeSystems
KA.ReinforcementLearning

class KA.KnowledgeBasedRefinement

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.KnowledgeDiscoveryInDatasets

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.KnowledgeElicitation

type:

primitive

superclasses:

KA.ResearchTopic

class KA.KnowledgeManagement

type:

primitive

superclasses:

KA.ResearchTopic

class KA.LearningApprenticeSystems

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.Lecturer

type:

primitive

superclasses:

KA.AcademicStaff

class KA.Meeting

type:

primitive

superclasses:

KA.Event

constraints:

slot-constraint KA.participant value-type KA.Person
slot-constraint KA.Date value-type KA.string
slot-constraint KA.Title value-type KA.string

class KA.Methodologies

type:

primitive

superclasses:

KA.Ontologies

class KA.Methodology

type:

primitive

superclasses:

KA.Validation_And_Verification

class KA.ModelingLanguage

type:

primitive

superclasses:

KA.KAMethodology

class KA.NLParser

type:

primitive

superclasses:

KA.ComputerSupport

class KA.Object

type:

primitive

constraints:

slot-constraint KA.keyword value-type KA.string

known subclasses:

KA.Event
KA.Organization
KA.Person
KA.Product
KA.Project
KA.Publication
KA.ResearchTopic

used in classes:

KA.Event
KA.Organization
KA.Person
KA.Product
KA.Project
KA.Publication
KA.ResearchTopic

class KA.OnlinePublication

type:

primitive

superclasses:

KA.Publication

constraints:

slot-constraint KA.onlineVersionOf value-type KA.Publication
slot-constraint KA.Type value-type KA.string

used in classes:

KA.Publication

class KA.Ontologies

type:

primitive

superclasses:

KA.Reuse

known subclasses:

KA.Methodologies
KA.SoftwareApplications
KA.TheoreticalFoundations

used in classes:

KA.Methodologies
KA.SoftwareApplications
KA.TheoreticalFoundations

class KA.Ontology

type:

primitive

superclasses:

KA.KAMethodology

class KA.OntologyLibrary

type:

primitive

superclasses:

KA.ComputerSupport

class KA.Organization

type:

primitive

superclasses:

KA.Object

constraints:

slot-constraint KA.name value-type KA.string
slot-constraint KA.location value-type KA.string
slot-constraint KA.employs value-type KA.Person
slot-constraint KA.publishes value-type KA.Publication
slot-constraint KA.technicalReport value-type KA.TechnicalReport
slot-constraint KA.carriesOut value-type KA.Project
slot-constraint KA.develops value-type KA.Product
slot-constraint KA.finances value-type KA.Project

known subclasses:

KA.Department
KA.Enterprise
KA.Institute
KA.ResearchGroup
KA.University

used in classes:

KA.Book
KA.Department
KA.Employee
KA.Enterprise
KA.Institute
KA.Journal
KA.Product
KA.Project
KA.ResearchGroup
KA.ResearchTopic
KA.TechnicalReport
KA.University

axioms:

equivalent KA.Organization OrgUnit

class KA.PSM

type:

primitive

superclasses:

KA.KAMethodology

class KA.PSMLibrary

type:

primitive

superclasses:

KA.ComputerSupport

class KA.PSMevaluation

type:

primitive

superclasses:

KA.PSMs

class KA.PSMlibraries

type:

primitive

superclasses:

KA.PSMs

class KA.PSMnotations

type:

primitive

superclasses:

KA.PSMs

class KA.PSMs

type:

primitive

superclasses:

KA.Reuse

known subclasses:

KA.AutomatedPSMGeneration
KA.PSMevaluation
KA.PSMlibraries
KA.PSMnotations
KA.Sysiphus_III_Experiment
KA.WebMediatedPSMSelection

used in classes:

KA.AutomatedPSMGeneration
KA.PSMevaluation
KA.PSMlibraries
KA.PSMnotations
KA.Sysiphus_III_Experiment
KA.WebMediatedPSMSelection

class KA.PaperLibrary

type:

primitive

superclasses:

KA.KAMethodology

class KA.Person

type:

primitive

superclasses:

KA.Object

constraints:

slot-constraint KA.photo value-type KA.string
slot-constraint KA.firstName value-type KA.string
slot-constraint KA.middleInitial value-type KA.string
slot-constraint KA.lastName value-type KA.string
slot-constraint KA.name value-type KA.string
slot-constraint KA.address value-type KA.string
slot-constraint KA.email value-type KA.string
slot-constraint KA.phone value-type KA.string
slot-constraint KA.fax value-type KA.string

known subclasses:

KA.Employee
KA.Student

used in classes:

KA.Book
KA.Employee
KA.Event
KA.Journal
KA.Meeting
KA.Organization
KA.Publication
KA.Student

axioms:

equivalent Person KA.Person

class KA.PhDStudent

type:

primitive

superclasses:

KA.Student
KA.Researcher

constraints:

slot-constraint KA.supervisor value-type KA.AcademicStaff

used in classes:

KA.AcademicStaff

class KA.Product

type:

primitive

superclasses:

KA.Object

constraints:

slot-constraint KA.productedBy value-type KA.Project
slot-constraint KA.developedBy value-type KA.Organization
slot-constraint KA.productName value-type KA.string
slot-constraint KA.productPublication value-type KA.Publication
slot-constraint KA.productFAQ value-type KA.string
slot-constraint KA.productMailingList value-type KA.string

known subclasses:

KA.ComputerSupport
KA.KAMethodology

used in classes:

KA.ComputerSupport
KA.KAMethodology
KA.Organization
KA.Project
KA.ResearchTopic

axioms:

equivalent KA.Product Result_product

class KA.Project

type:

primitive

superclasses:

KA.Object

constraints:

slot-constraint KA.Title value-type KA.string
slot-constraint KA.member value-type KA.Employee
slot-constraint KA.head value-type KA.Employee
slot-constraint KA.isAbout value-type KA.ResearchTopic
slot-constraint KA.projectInfo value-type KA.Publication
slot-constraint KA.carriedOutBy value-type KA.Organization
slot-constraint KA.product value-type KA.Product
slot-constraint KA.financedBy value-type KA.Organization

known subclasses:

KA.DevelopmentProject
KA.ResearchProject

used in classes:

KA.DevelopmentProject
KA.Employee
KA.Organization
KA.Product
KA.Publication
KA.ResearchProject
KA.ResearchTopic

axioms:

equivalent Project KA.Project

class KA.Publication

type:

primitive

superclasses:

KA.Object

constraints:

slot-constraint KA.author value-type KA.Person
slot-constraint KA.Title value-type KA.string
slot-constraint KA.year value-type KA.integer
slot-constraint KA.abstract value-type KA.string
slot-constraint KA.onlineVersion value-type KA.OnlinePublication
slot-constraint KA.describesProject value-type KA.Project

known subclasses:

KA.Article
KA.Book
KA.Journal
KA.OnlinePublication

used in classes:

KA.AcademicStaff
KA.Article
KA.Book
KA.Event
KA.Journal
KA.OnlinePublication
KA.Organization
KA.Product
KA.Project
KA.ResearchTopic

axioms:

equivalent KA.Publication Publication

class KA.ReinforcementLearning

type:

primitive

superclasses:

KA.KAThroughMachineLearning

class KA.ResearchGroup

type:

primitive

superclasses:

KA.Organization

constraints:

slot-constraint KA.member value-type KA.Researcher
slot-constraint KA.head value-type KA.Employee

used in classes:

KA.Employee
KA.Institute
KA.ResearchTopic
KA.Researcher
KA.Secretary

class KA.ResearchProject

type:

primitive

superclasses:

KA.Project

class KA.ResearchTopic

type:

primitive

superclasses:

KA.Object

constraints:

slot-constraint KA.name value-type KA.string
slot-constraint KA.Description value-type KA.string
slot-constraint KA.approaches value-type KA.string
slot-constraint KA.researchGroups value-type KA.ResearchGroup
slot-constraint KA.researchers value-type KA.Researcher
slot-constraint KA.relatedTopics value-type KA.ResearchTopic
slot-constraint KA.subTopics value-type KA.ResearchTopic
slot-constraint KA.events value-type KA.Event
slot-constraint KA.journals value-type KA.Journal
slot-constraint KA.projects value-type KA.Project
slot-constraint KA.applicationAreas value-type KA.string
slot-constraint KA.products value-type KA.Product
slot-constraint KA.bibliographies value-type KA.Publication
slot-constraint KA.mailingLists value-type KA.string
slot-constraint KA.webpages value-type KA.string
slot-constraint KA.internationalFundingAgencies value-type KA.Organization
slot-constraint KA.nationalFundingAgencies value-type KA.Organization
slot-constraint KA.authorOfOntology value-type KA.Researcher
slot-constraint KA.dateOfLastModification value-type KA.string

known subclasses:

KA.EvaluationOfKA
KA.KAMethodologies
KA.KAThroughMachineLearning
KA.KnowledgeElicitation
KA.KnowledgeManagement
KA.Reuse
KA.SpecificationLanguages
KA.Validation_And_Verification

used in classes:

KA.EvaluationOfKA
KA.KAMethodologies
KA.KAThroughMachineLearning
KA.KnowledgeElicitation
KA.KnowledgeManagement
KA.Project
KA.ResearchTopic
KA.Researcher
KA.Reuse
KA.SpecificationLanguages
KA.Validation_And_Verification

class KA.Researcher

type:

primitive

superclasses:

KA.AcademicStaff

constraints:

slot-constraint KA.researchInterest value-type KA.ResearchTopic
slot-constraint KA.memberOf value-type KA.ResearchGroup
slot-constraint KA.cooperatesWith value-type KA.Researcher

known subclasses:

KA.PhDStudent

used in classes:

KA.PhDStudent
KA.ResearchGroup
KA.ResearchTopic
KA.Researcher

class KA.Reuse

type:

primitive

superclasses:

KA.ResearchTopic

known subclasses:

KA.Ontologies
KA.PSMs
KA.SoftwareReuse

used in classes:

KA.Ontologies
KA.PSMs
KA.SoftwareReuse

class KA.Secretary

type:

primitive

superclasses:

KA.AdministrativeStaff

constraints:

slot-constraint KA.secretaryOf value-type KA.ResearchGroup

class KA.SoftwareApplications

type:

primitive

superclasses:

KA.Ontologies

class KA.SoftwareProject

type:

primitive

superclasses:

KA.DevelopmentProject

class KA.SoftwareReuse

type:

primitive

superclasses:

KA.Reuse

class KA.SpecialIssueEvent

type:

primitive

superclasses:

KA.Event

class KA.SpecialIssuePublication

type:

primitive

superclasses:

KA.Journal

class KA.SpecificationLanguage

type:

primitive

superclasses:

KA.KAMethodology

class KA.SpecificationLanguages

type:

primitive

superclasses:

KA.ResearchTopic

known subclasses:

KA.AutomatedCodeGenerationFromSpecification
KA.ExecutableSpecificationLanguages
KA.SpecificationMethodology
KA.SpecificationOfControlKnowledge
KA.SupportToolsForFormalMethods

used in classes:

KA.AutomatedCodeGenerationFromSpecification
KA.ExecutableSpecificationLanguages
KA.SpecificationMethodology
KA.SpecificationOfControlKnowledge
KA.SupportToolsForFormalMethods

class KA.SpecificationMethodology

type:

primitive

superclasses:

KA.SpecificationLanguages

class KA.SpecificationOfControlKnowledge

type:

primitive

superclasses:

KA.SpecificationLanguages

class KA.Student

type:

primitive

superclasses:

KA.Person

constraints:

slot-constraint KA.studiesAt value-type KA.University

known subclasses:

KA.PhDStudent

used in classes:

KA.PhDStudent
KA.University

class KA.SupportToolsForFormalMethods

type:

primitive

superclasses:

KA.SpecificationLanguages

class KA.Sysiphus_III_Experiment

type:

primitive

superclasses:

KA.PSMs

class KA.TechnicalReport

type:

primitive

superclasses:

KA.Article

constraints:

slot-constraint KA.series value-type KA.string
slot-constraint KA.Number value-type KA.integer
slot-constraint KA.organization value-type KA.Organization

used in classes:

KA.Organization

class KA.TechnicalStaff

type:

primitive

superclasses:

KA.AdministrativeStaff

class KA.TheoreticalFoundations

type:

primitive

superclasses:

KA.Ontologies

class KA.TransformationTool

type:

primitive

superclasses:

KA.ComputerSupport

class KA.University

type:

primitive

superclasses:

KA.Organization

constraints:

slot-constraint KA.student value-type KA.Student
slot-constraint KA.hasParts value-type KA.Department

used in classes:

KA.Student

class KA.V_And_V_Of_MAS

type:

primitive

superclasses:

KA.Validation_And_Verification

class KA.Validation_And_Verification

type:

primitive

superclasses:

KA.ResearchTopic

known subclasses:

KA.AnomalyDetection
KA.AnomalyRepairAndKnowledgeRevision
KA.Formalisms
KA.Methodology
KA.V_And_V_Of_MAS

used in classes:

KA.AnomalyDetection
KA.AnomalyRepairAndKnowledgeRevision
KA.Formalisms
KA.Methodology
KA.V_And_V_Of_MAS

class KA.Validator

type:

primitive

superclasses:

KA.ComputerSupport

class KA.Verifier

type:

primitive

superclasses:

KA.ComputerSupport

class KA.WebMediatedPSMSelection

type:

primitive

superclasses:

KA.PSMs

class KA.Workshop

type:

primitive

superclasses:

KA.Event

constraints:

slot-constraint KA.series value-type KA.string
slot-constraint KA.number value-type KA.integer

used in classes:

KA.WorkshopPaper

class KA.WorkshopPaper

type:

primitive

superclasses:

KA.Article

constraints:

slot-constraint KA.workshop value-type KA.Workshop
slot-constraint KA.proceedingsTitle value-type KA.string
slot-constraint KA.firstPage value-type KA.integer
slot-constraint KA.lastPage value-type KA.integer

class KA.integer

type:

primitive

used in classes:

KA.ArticleInBook
KA.Conference
KA.ConferencePaper
KA.Journal
KA.JournalArticle
KA.Publication
KA.TechnicalReport
KA.Workshop
KA.WorkshopPaper

class KA.string

type:

primitive

used in classes:

KA.Conference
KA.ConferencePaper
KA.Event
KA.Meeting
KA.Object
KA.OnlinePublication
KA.Organization
KA.Person
KA.Product
KA.Project
KA.Publication
KA.ResearchTopic
KA.TechnicalReport
KA.Workshop
KA.WorkshopPaper

class Multimedia_type

type:

primitive

constraints:

slot-constraint mm_type_type has-value top
slot-constraint mm_type_type_full has-value top
slot-constraint mm_type_format has-value top

class OrgUnit

type:

primitive

constraints:

slot-constraint org_part_of has-value OrgUnit
slot-constraint orgunit_types min-cardinality 0 Orgunit_type
slot-constraint orgunit_contact min-cardinality 0 Org_contact
slot-constraint org_turnover_curr has-value top
slot-constraint org_acronym has-value top
slot-constraint org_turnover has-value top
slot-constraint org_id value-type top
slot-constraint org_headcount has-value top
slot-constraint org_prize_award has-value top
slot-constraint project_orgunit min-cardinality 0 Proj_orgunit
slot-constraint org_url has-value top

used in classes:

OrgUnit
Orgunit_relation
Proj_orgunit

axioms:

disjoint Person Publication Project OrgUnit
equivalent KA.Organization OrgUnit

class OrgUnit-Research-Activity

type:

primitive

class OrgUnit-Research-Interest

type:

primitive

class OrgUnit-Result-Publication

type:

primitive

class Org_contact

type:

primitive

constraints:

slot-constraint org_contact_end has-value top
slot-constraint org_contact_end has-value top
slot-constraint org_contact_role has-value top
slot-constraint org_contact_con_id has-value Contact

used in classes:

OrgUnit

class Orgunit_relation

type:

primitive

constraints:

slot-constraint orgunit_rel_role has-value top
slot-constraint orgunit_rel_orgunit2 value-type OrgUnit
slot-constraint orgunit_rel_orgunit1 value-type OrgUnit

class Orgunit_type

type:

primitive

constraints:

slot-constraint orgunit_type_type_full has-value top
slot-constraint orgunit_type_type has-value top

used in classes:

OrgUnit

class Patent_status

type:

primitive

constraints:

slot-constraint patent_status_status_full value-type top
slot-constraint patent_status_status value-type top

used in classes:

Result_patent

class Patent_type

type:

primitive

constraints:

slot-constraint patent_type_type_full value-type top
slot-constraint patent_type_type value-type top

used in classes:

Result_patent

class Pers_contact

type:

primitive

constraints:

slot-constraint pers_con_contact has-value Contact
slot-constraint pers_con_end has-value top
slot-constraint pers_con_start has-value top
slot-constraint pers_con_role has-value top

used in classes:

Person

class Person

type:

primitive

constraints:

slot-constraint person_research_interest value-type Research_Interest
slot-constraint per_id value-type top
slot-constraint per_services min-cardinality 0 Service
slot-constraint per_uri has-value top
slot-constraint person_qualifications value-type Qualification
slot-constraint per_firstnames value-type top
slot-constraint pers_contact min-cardinality 0 Pers_contact
slot-constraint per_lastnames value-type top
slot-constraint per_othernames has-value top
slot-constraint per_projects min-cardinality 0 Project_person
slot-constraint per_sex has-value top
slot-constraint person_academic_titles value-type Academic_Title
slot-constraint per_prize_awards has-value top

used in classes:

Person_Event
Person_Exp_Skill
Person_product
Project_person

axioms:

disjoint Person Publication Project OrgUnit
equivalent Human Person
equivalent Person KA.Person

class PersonPublication

type:

primitive

class Person_Event

type:

primitive

constraints:

slot-constraint per_ev_person value-type Person
slot-constraint per_ev_role has-value top
slot-constraint per_ev_event value-type Event

class Person_Exp_Skill

type:

primitive

constraints:

slot-constraint per_exp_skill_person has-value Person
slot-constraint per_exp_skill_exp_skill has-value Expertise_Skill

class Person_product

type:

primitive

constraints:

slot-constraint per_prod_role has-value top
slot-constraint per_prod_price has-value top
slot-constraint per_prod_ipr has-value top
slot-constraint per_prod_currency has-value top
slot-constraint per_prod_conditions has-value top
slot-constraint per_prod_availability has-value top
slot-constraint per_prod_product value-type Result_product
slot-constraint per_prod_person value-type Person

class Product_type

type:

primitive

constraints:

slot-constraint prod_type_type_full value-type top
slot-constraint prod_type_type value-type top

used in classes:

Result_product

class Proj_classification

type:

primitive

constraints:

slot-constraint proj_class_class has-value top
slot-constraint proj_class_proj_id has-value Project
slot-constraint proj_class_code has-value Classification

used in classes:

Project

class Proj_orgunit

type:

primitive

constraints:

slot-constraint proj_orgunit_orgunitid value-type OrgUnit
slot-constraint proj_orgunit_po_end has-value top
slot-constraint proj_orgunit_po_end has-value top
slot-constraint proj_orgunit_proj_id value-type Project
slot-constraint proj_orgunit_po_role has-value Proj_orgunit_role

used in classes:

OrgUnit
Project

class Proj_orgunit_role

type:

primitive

constraints:

slot-constraint proj_orgunit_role value-type top
slot-constraint proj_orgunit_role_full value-type top

used in classes:

Proj_orgunit

class Proj_per_role

type:

primitive

constraints:

slot-constraint proj_per_role value-type top
slot-constraint proj_per_type_full value-type top

used in classes:

Project_person

class Proj_proj_role

type:

primitive

constraints:

slot-constraint proj_proj_role has-value top
slot-constraint proj_proj_role_full has-value top

used in classes:

Proj_recursive

class Proj_recursive

type:

primitive

constraints:

slot-constraint proj_rec_proj_proj_start has-value top
slot-constraint proj_rec_proj_proj_role has-value Proj_proj_role
slot-constraint proj_rec_proj_proj_end has-value Project
slot-constraint proj_rec_pro_projid has-value Project
slot-constraint proj_rec_proj_proj_end has-value top

class Project

type:

primitive

constraints:

slot-constraint proj_status value-type Project_Status
slot-constraint proj_id has-value top
slot-constraint proj_url has-value top
slot-constraint proj_start_date has-value top
slot-constraint proj_end_date has-value top
slot-constraint project-abstracts min-cardinality 0 Project-abstract
slot-constraint proj_prize_award has-value top
slot-constraint project_titles min-cardinality 0 Project-title
slot-constraint project_persons min-cardinality 0 Project_person
slot-constraint project-keywords min-cardinality 0 Project-keyword
slot-constraint project_orgunit min-cardinality 0 Proj_orgunit
slot-constraint proj_classification min-cardinality 0 Proj_classification

used in classes:

Proj_classification
Proj_orgunit
Proj_recursive
Project_person

used in slots:

proj_pers_project

axioms:

disjoint Person Publication Project OrgUnit
equivalent Project KA.Project

class Project-abstract

type:

primitive

constraints:

slot-constraint proj_abs_trans_type value-type top
slot-constraint proj-abstract value-type top
slot-constraint proj_abs_language value-type top

used in classes:

Project

class Project-keyword

type:

primitive

used in classes:

Project

class Project-title

type:

primitive

constraints:

slot-constraint proj_title value-type top
slot-constraint proj_title_language value-type top
slot-constraint proj_title_trans_type value-type top

used in classes:

Project

class Project_Status

documentation:

The status of the project Is it acepted, executed, stalled

type:

primitive

constraints:

slot-constraint project_status value-type top
slot-constraint project_status_name value-type top

used in classes:

Project

used in slots:

proj_status

class Project_person

documentation:

Class describing participation person in projects

type:

primitive

constraints:

slot-constraint proj_per_start has-value top
slot-constraint proj_per_end has-value top
slot-constraint proj_pers_person value-type Person
slot-constraint proj_pers_role has-value Proj_per_role
slot-constraint proj_pers_project value-type Project

used in classes:

Person
Project

used in slots:

per_projects

class Project_publication

type:

primitive

constraints:

slot-constraint proj_pub_role has-value Project_publication_role
slot-constraint proj_pub_publication has-value Publication

class Project_publication_role

type:

primitive

constraints:

slot-constraint proj_pub_role_role has-value top
slot-constraint proj_pub_role_full has-value top

used in classes:

Project_publication

class PubTitle

type:

primitive

class Publication

type:

primitive

used in classes:

Project_publication

axioms:

disjoint Person Publication Project OrgUnit
equivalent KA.Publication Publication

class Publication_translation

type:

primitive

constraints:

slot-constraint pub_transl_language has-value top
slot-constraint pub_transl_title has-value top
slot-constraint pub_transl_trans_type has-value top

used in classes:

Result_publication

class Publication_type

type:

primitive

constraints:

slot-constraint publ_type has-value top
slot-constraint publ_type_full has-value top

used in classes:

Result_publication

class Qualification

type:

primitive

constraints:

slot-constraint qualification_full has-value top
slot-constraint qualification has-value top

used in classes:

Person

class Research_Interest

type:

primitive

constraints:

slot-constraint per_res_int_keywords has-value top
slot-constraint per_res_int_trans_type has-value top
slot-constraint per_res_int_language has-value top

used in classes:

Person

class Result_patent

type:

primitive

constraints:

slot-constraint patent_regdate has-value top
slot-constraint patent_number has-value top
slot-constraint patent_id value-type top
slot-constraint patent_approval_date has-value top
slot-constraint patent_status min-cardinality 0 Patent_status
slot-constraint patent_type min-cardinality 1 Patent_type
slot-constraint patent_uri has-value top

class Result_product

type:

primitive

constraints:

slot-constraint prod_type has-value Product_type
slot-constraint prod_prod_uri has-value top
slot-constraint prod_int_id has-value top
slot-constraint prod_id value-type top

used in classes:

Person_product

axioms:

equivalent KA.Product Result_product

class Result_publication

type:

primitive

constraints:

slot-constraint pub_id value-type top
slot-constraint pub_reference value-type top
slot-constraint pub_uri has-value top
slot-constraint pub_type has-value Publication_type
slot-constraint pub_pubtranslations min-cardinality 0 Publication_translation
slot-constraint pub_date has-value top

class Service

type:

primitive

constraints:

slot-constraint service_id has-value top
slot-constraint service_uri has-value top
slot-constraint serv_names min-cardinality 0 Service_name
slot-constraint service_descriptions min-cardinality 0 Service_description

used in classes:

Person

class Service_description

type:

primitive

constraints:

slot-constraint serv_desc_language has-value top
slot-constraint serv_desc_trans_type has-value top
slot-constraint serv_desc_desciption has-value top

used in classes:

Service

class Service_name

type:

primitive

constraints:

slot-constraint serv_name_language has-value top
slot-constraint serv_name_name has-value top
slot-constraint serv_name_trans_type has-value top

used in classes:

Service

slot KA.Date

documentation:

used in classes:

KA.Event
KA.Meeting

slot KA.Description

documentation:

used in classes:

KA.ResearchTopic

slot KA.Number

documentation:

used in classes:

KA.TechnicalReport

slot KA.Publisher

documentation:

used in classes:

KA.Book
KA.Journal

slot KA.Title

documentation:

used in classes:

KA.Meeting
KA.Project
KA.Publication

slot KA.Type

documentation:

used in classes:

KA.OnlinePublication

slot KA.abstract

documentation:

used in classes:

KA.Publication

slot KA.address

documentation:

used in classes:

KA.Person

slot KA.affiliation

documentation:

used in classes:

KA.Employee

slot KA.applicationAreas

documentation:

used in classes:

KA.ResearchTopic

slot KA.approaches

documentation:

used in classes:

KA.ResearchTopic

slot KA.atEvent

documentation:

used in classes:

KA.Event

slot KA.author

documentation:

used in classes:

KA.Publication

slot KA.authorOfOntology

documentation:

used in classes:

KA.ResearchTopic

slot KA.bibliographies

documentation:

used in classes:

KA.ResearchTopic

slot KA.book

documentation:

used in classes:

KA.ArticleInBook

slot KA.carriedOutBy

documentation:

used in classes:

KA.Project

slot KA.carriesOut

documentation:

used in classes:

KA.Organization

slot KA.conference

documentation:

used in classes:

KA.ConferencePaper

slot KA.containsArticle

documentation:

used in classes:

KA.Book
KA.Journal

slot KA.cooperatesWith

documentation:

used in classes:

KA.Researcher

slot KA.dateOfLastModification

documentation:

used in classes:

KA.ResearchTopic

slot KA.describesProject

documentation:

used in classes:

KA.Publication

slot KA.developedBy

documentation:

used in classes:

KA.Product

slot KA.develops

documentation:

used in classes:

KA.Organization

slot KA.editor

documentation:

used in classes:

KA.AcademicStaff
KA.Book
KA.Journal

slot KA.email

documentation:

used in classes:

KA.Person

slot KA.employs

documentation:

used in classes:

KA.Organization

slot KA.eventTile

documentation:

used in classes:

KA.Event

slot KA.events

documentation:

used in classes:

KA.ResearchTopic

slot KA.fax

documentation:

used in classes:

KA.Person

slot KA.financedBy

documentation:

used in classes:

KA.Project

slot KA.finances

documentation:

used in classes:

KA.Organization

slot KA.firstName

documentation:

used in classes:

KA.Person

slot KA.firstPage

documentation:

used in classes:

KA.ArticleInBook
KA.ConferencePaper
KA.JournalArticle
KA.WorkshopPaper

slot KA.hasParts

documentation:

used in classes:

KA.Department
KA.Event
KA.Institute
KA.University

slot KA.head

documentation:

used in classes:

KA.Project
KA.ResearchGroup

slot KA.headOf

documentation:

used in classes:

KA.Employee

slot KA.headOfGroup

documentation:

used in classes:

KA.Employee

slot KA.internationalFundingAgencies

documentation:

used in classes:

KA.ResearchTopic

slot KA.isAbout

documentation:

used in classes:

KA.Project

slot KA.journal

documentation:

used in classes:

KA.JournalArticle

slot KA.journals

documentation:

used in classes:

KA.ResearchTopic

slot KA.keyword

documentation:

used in classes:

KA.Object

slot KA.lastName

documentation:

used in classes:

KA.Person

slot KA.lastPage

documentation:

used in classes:

KA.ArticleInBook
KA.ConferencePaper
KA.JournalArticle
KA.WorkshopPaper

slot KA.location

documentation:

used in classes:

KA.Event
KA.Organization

slot KA.mailingLists

documentation:

used in classes:

KA.ResearchTopic

slot KA.member

documentation:

used in classes:

KA.Project
KA.ResearchGroup

slot KA.memberOf

documentation:

used in classes:

KA.Researcher

slot KA.memberOfPC

documentation:

used in classes:

KA.AcademicStaff

slot KA.middleInitial

documentation:

used in classes:

KA.Person

slot KA.name

documentation:

used in classes:

KA.Organization
KA.Person
KA.ResearchTopic

slot KA.nationalFundingAgencies

documentation:

used in classes:

KA.ResearchTopic

slot KA.number

documentation:

used in classes:

KA.Conference
KA.Journal
KA.Workshop

slot KA.onlineVersion

documentation:

used in classes:

KA.Publication

slot KA.onlineVersionOf

documentation:

used in classes:

KA.OnlinePublication

slot KA.orgCommittee

documentation:

used in classes:

KA.Event

slot KA.organization

documentation:

used in classes:

KA.TechnicalReport

slot KA.organizerOrChairOf

documentation:

used in classes:

KA.AcademicStaff

slot KA.participant

documentation:

used in classes:

KA.Meeting

slot KA.phone

documentation:

used in classes:

KA.Person

slot KA.photo

documentation:

used in classes:

KA.Person

slot KA.proceedingsTitle

documentation:

used in classes:

KA.ConferencePaper
KA.WorkshopPaper

slot KA.product

documentation:

used in classes:

KA.Project

slot KA.productFAQ

documentation:

used in classes:

KA.Product

slot KA.productMailingList

documentation:

used in classes:

KA.Product

slot KA.productName

documentation:

used in classes:

KA.Product

slot KA.productPublication

documentation:

used in classes:

KA.Product

slot KA.productedBy

documentation:

used in classes:

KA.Product

slot KA.products

documentation:

used in classes:

KA.ResearchTopic

slot KA.programCommittee

documentation:

used in classes:

KA.Event

slot KA.projectInfo

documentation:

used in classes:

KA.Project

slot KA.projects

documentation:

used in classes:

KA.ResearchTopic

slot KA.publication

documentation:

used in classes:

KA.AcademicStaff
KA.Event

slot KA.publishes

documentation:

used in classes:

KA.Organization

slot KA.relatedTopics

documentation:

used in classes:

KA.ResearchTopic

slot KA.researchGroups

documentation:

used in classes:

KA.ResearchTopic

slot KA.researchInterest

documentation:

used in classes:

KA.Researcher

slot KA.researchers

documentation:

used in classes:

KA.ResearchTopic

slot KA.secretaryOf

documentation:

used in classes:

KA.Secretary

slot KA.series

documentation:

used in classes:

KA.Conference
KA.TechnicalReport
KA.Workshop

slot KA.student

documentation:

used in classes:

KA.University

slot KA.studiesAt

documentation:

used in classes:

KA.Student

slot KA.subTopics

documentation:

used in classes:

KA.ResearchTopic

slot KA.supervises

documentation:

used in classes:

KA.AcademicStaff

slot KA.supervisor

documentation:

used in classes:

KA.PhDStudent

slot KA.technicalReport

documentation:

used in classes:

KA.Organization

slot KA.volume

documentation:

used in classes:

KA.Journal

slot KA.webpages

documentation:

used in classes:

KA.ResearchTopic

slot KA.worksAtProject

documentation:

used in classes:

KA.Employee

slot KA.workshop

documentation:

used in classes:

KA.WorkshopPaper

slot KA.year

documentation:

used in classes:

KA.Publication

slot academic_title_title

documentation:

used in classes:

Academic_Title

slot academic_title_title_full

documentation:

used in classes:

Academic_Title

slot classification_cla_class

documentation:

used in classes:

Classification

slot classification_cla_class_code

documentation:

used in classes:

Classification

slot classification_class

documentation:

used in classes:

Classification

slot classification_class_code

documentation:

used in classes:

Classification

slot classification_url

documentation:

used in classes:

Classification

slot con_addrline1

documentation:

used in classes:

Contact

slot con_addrline2

documentation:

used in classes:

Contact

slot con_city_town

documentation:

used in classes:

Contact

slot con_country_code

documentation:

used in classes:

Contact

slot con_email

documentation:

used in classes:

Contact

slot con_fax

documentation:

used in classes:

Contact

slot con_id

documentation:

used in classes:

Contact

slot con_postal_zone

documentation:

used in classes:

Contact

slot con_province_state

documentation:

used in classes:

Contact

slot con_region_code

documentation:

used in classes:

Contact

slot con_telephone

documentation:

slot con_uri

documentation:

used in classes:

Contact

slot cv_id

documentation:

used in classes:

CV

slot cv_uri

documentation:

used in classes:

CV

slot ev_desc_description

documentation:

used in classes:

Event_Description

slot ev_desc_language

documentation:

superslots:

language

used in classes:

Event_Description

slot ev_desc_trans_type

documentation:

superslots:

translation_type

used in classes:

Event_Description

slot ev_name_language

documentation:

superslots:

language

used in classes:

Event_Name

slot ev_name_name

documentation:

used in classes:

Event_Name

slot ev_name_trans_type

documentation:

superslots:

translation_type

used in classes:

Event_Name

slot event_description

documentation:

used in classes:

Event

slot event_end_date

documentation:

used in classes:

Event

slot event_ev_name

documentation:

used in classes:

Event

slot event_fee_or_free

documentation:

used in classes:

Event

slot event_id

documentation:

used in classes:

Event

slot event_location

documentation:

used in classes:

Event

slot event_start_date

documentation:

used in classes:

Event

slot event_type