⊤ ⊑ ∀ issn.Literal
ContactPoint ⊑ ∀ faxNumber.string
ProjectPublication ⊑ ∀ publishedPages.string
hasNUTS2code ⊑ hasNUTSCode
Site ⊑ = 1 isSiteOf.⊤
Person ⊑ = 1 givenName.Literal
⊤ ⊑ ∀ journalTitle.string
∃ hasNUTS2code.⊤ ⊑ AdministrativeArea
ProjectDeliverable ⊑ = 1 hasResultType.⊤
Grant ⊑ ≥ 1 hasFundingScheme.⊤
⊤ ⊑ ∀ streetAddress.Literal
∃ hasEuroSciVocClassification.⊤ ⊑ Project
∃ hasInvolvedParty.⊤ ⊑ Project
⊤ ⊑ ∀ isbn.Literal
Project ⊑ = 1 hasTotalCost.⊤
Result ⊑ ∀ title.string
Person ⊑ = 1 familyName.Literal
⊤ ⊑ ∀ terminationDate.date
⊤ ⊑ ∀ hasPreviousFundingScheme.FundingScheme
Grant ⊑ = 1 startDate.Literal
⊤ ⊑ ∀ url.anyURI
PostalAddress ⊑ ∀ streetAddress.string
PersonRole ⊑ = 1 isRoleOf.⊤
MonetaryAmount ⊑ ≤ 1 isNet.Literal
⊤ ⊑ ∀ hasFundingSchemeProgramme.FundingScheme
Grant ⊑ = 1 hasFundingAmount.⊤
⊤ ⊑ ∀ isInvolvedIn.Project
∃ telephoneNumber.⊤ ⊑ ContactPoint
Site ⊑ = 1 hasCoordinates.⊤
⊤ ⊑ ∀ hasFundingSchemeTopic.FundingScheme
⊤ ⊑ ∀ hasNUTS2code.Concept
PersonRole ⊑ ≤ 1 isEmployedBy.⊤
∃ periodNumber.⊤ ⊑ ProjectReportSummary
Site ⊑ = 1 hasAddress.⊤
⊤ ⊑ ∀ hasNextFundingScheme.FundingScheme
ProjectReportSummary ⊑ ≤ 1 workPerformed.Literal
Grant ⊑ = 1 isDisbursedBy.⊤
Project ⊑ ≤ 1 url.Literal
∃ hasISOCountryCode.⊤ ⊑ Country
⊤ ⊑ ∀ identifier.Literal
PersonRole ⊑ ∀ isRoleOf.Person
Project ⊑ ≥ 1 isFundedBy.⊤
∃ hasFundingSchemeProgramme.⊤ ⊑ Grant
⊤ ⊑ ∀ duration.nonNegativeInteger
⊤ ⊑ ∀ telephoneNumber.Literal
OrganisationRole ⊑ ∀ isRoleOf.Organisation
ProjectReportSummary ⊑ Result
Grant ⊑ ≥ 1 funds.⊤
⊤ ⊑ ∀ publisher.string
Site ⊑ ≥ 1 hasGeographicalLocation.⊤
ProjectDeliverable ⊑ Result
ContactPoint ⊑ ∀ telephoneNumber.string
SME ⊑ Organisation
signatureDate⊑date
FundingScheme ⊑ ≥ 1 url.Literal
hasNUTS3code ⊑ hasNUTSCode
⊤ ⊑ ∀ hasNUTS1code.Concept
ExploitableResult ⊑ Result
PostalAddress ⊑ = 1 fullAddress.Literal
∃ publishedPages.⊤ ⊑ ProjectPublication
NonPeerReviewedPublication ⊑ ProjectPublication
Project ⊑ = 1 identifier.Literal
ConferencePaper ⊑ ProjectPublication
Person ⊑ ≤ 1 additionalName.Literal
⊤ ⊑ ∀ hasAssociatedFundingScheme.FundingScheme
Project ⊑ = 1 duration.Literal
ProjectPublication ⊑ Result
∃ signatureDate.⊤ ⊑ Project
⊤ ⊑ ∀ finalResults.string
hasFundingSchemeType ⊑ hasFundingScheme
⊤ ⊑ ∀ startDate.date
Person ⊑ ¬ PersonRole
ProjectReportSummary ⊑ ≤ 1 endDate.Literal
FundingScheme ⊑ = 1 hasFundingSchemeCategory.⊤
ProjectReportSummary ⊑ = 1 abstract.Literal
∃ hasFundingSchemeType.⊤ ⊑ Grant
ForProfitOrganisation ⊑ Organisation
⊤ ⊑ ∀ hasNUTS0code.Concept
MonetaryAmount ⊑ = 1 value.Literal
PostalAddress ⊑ ∀ postalCode.string
Book ⊑ ProjectPublication
∃ isNet.⊤ ⊑ MonetaryAmount
Organisation ⊑ = 1 rcn.Literal
⊤ ⊑ ≤ 1 code
Role ⊑ = 1 isInvolvedIn.⊤
⊤ ⊑ ∀ endDate.date
Project ⊑ ≥ 1 hasInvolvedParty.⊤
∃ issn.⊤ ⊑ ProjectPublication
⊤ ⊑ ≤ 1 rcn
Acronym ⊑ = 1 shortForm.Literal
⊤ ⊑ ∀ code.string
Grant ⊑ ≥ 1 hasPayment.⊤
Organisation ⊑ = 1 vatNumber.Literal
Project ⊑ = 1 projectStatus.Literal
ProjectDeliverable ⊑ ≤ 1 description.Literal
⊤ ⊑ ≤ 1 identifier
JournalPaper ⊑ ProjectPublication
∃ hasPreviousFundingScheme.⊤ ⊑ FundingScheme
OrganisationRole ⊑ = 1 isRoleOf.⊤
Project ⊑ ∀ title.string
Role ⊑ = 1 startDate.Literal
∃ hasCoordinates.⊤ ⊑ Site
⊤ ⊑ ∀ roleLabel.({coordinator}⊔{international partner}⊔{participant}⊔{partner}⊔{third party})
PublicBody ⊑ Organisation
⊤ ⊑ ∀ postOfficeBoxNumber.Literal
⊤ ⊑ ∀ keyword.string
⊤ ⊑ ∀ isResultOf.(Project)
hasFundingSchemeTopic ⊑ hasFundingScheme
⊤ ⊑ ∀ journalNumber.Literal
ThesisDissertation ⊑ ProjectPublication
ProjectPublication ⊑ = 1 journalNumber.Literal
⊤ ⊑ ∀ workPerformed.string
ProjectPublication ⊑ ∀ journalNumber.string
PostalAddress ⊑ = 1 streetAddress.Literal
GrantPayment ⊑ = 1 hasPaymentAmount.⊤
∃ roleLabel.⊤ ⊑ OrganisationRole
FundingScheme ⊑ = 1 title.Literal
endDate⊑date
FundingScheme ⊑ ∀ title.string
ExploitableResult ⊑ ¬ ProjectDeliverable, ExploitableResult ⊑ ¬ ProjectPublication, ExploitableResult ⊑ ¬ ProjectReportSummaryProjectDeliverable ⊑ ¬ ProjectPublication, ProjectDeliverable ⊑ ¬ ProjectReportSummaryProjectPublication ⊑ ¬ ProjectReportSummary
Project ⊑ = 1 title.Literal
Result ⊑ ≤ 1 url.Literal
hasNUTS1code ⊑ hasNUTSCode
ProjectReportSummary ⊑ ≤ 1 finalResults.Literal
Role ⊑ = 1 roleLabel.Literal
⊤ ⊑ ∀ date.date
Site ⊑ = 1 name.Literal
Grant ⊑ = 1 endDate.Literal
∃ hasFundingSchemeTopic.⊤ ⊑ Grant
FundingScheme ⊑ = 1 isImplementedBy.⊤
Project ⊑ = 1 signatureDate.Literal
Coordinates ⊑ = 1 longitude.Literal
ConferencePaper ⊑ ¬ JournalPaper, ConferencePaper ⊑ ¬ WorkshopPaperJournalPaper ⊑ ¬ WorkshopPaper
∃ hasNUTS0code.⊤ ⊑ AdministrativeArea
⊤ ⊑ ∀ hasISOCountryCode.Concept
∃ workPerformed.⊤ ⊑ ProjectReportSummary
PostalAddress ⊑ = 1 postalCode.Literal
⊤ ⊑ ∀ hasFundingSchemeCall.FundingScheme
Grant ⊑ = 1 identifier.Literal
Acronym ⊑ = 1 definition.Literal
∃ order.⊤ ⊑ OrganisationRole
ProjectPublication ⊑ = 1 journalTitle.Literal
∃ journalNumber.⊤ ⊑ ProjectPublication
startDate⊑date
⊤ ⊑ ≤ 1 isbn
∃ hasNextFundingScheme.⊤ ⊑ FundingScheme
⊤ ⊑ ∀ hasNUTS3code.Concept
Grant ⊑ ∃ duration.nonNegativeInteger
ProjectPublication ⊑ ≤ 1 publishedPages.Literal
WorkshopPaper ⊑ ProjectPublication
∃ journalTitle.⊤ ⊑ ProjectPublication
⊤ ⊑ ∀ title.Literal
∃ publishedYear.⊤ ⊑ ProjectPublication
⊤ ⊑ ∀ isNet.boolean
HigherOrSecondaryEducation ⊑ Organisation
⊤ ⊑ ∀ order.nonNegativeInteger
∃ finalResults.⊤ ⊑ ProjectReportSummary
⊤ ⊑ ∀ hasFundingSchemeType.FundingScheme
∃ hasResult.⊤ ⊑ (Project)
∃ code.⊤ ⊑ FundingScheme
BookChapter ⊑ ProjectPublication
ProjectPublication ⊑ = 1 authorList.Literal
⊤ ⊑ ∀ doi.anyURI
FundingScheme ⊑ ∀ duration.nonNegativeInteger
Coordinates ⊑ = 1 latitude.Literal
ProjectPublication ⊑ = 1 publisher.Literal
Organisation ⊑ = 1 legalName.Literal
∃ hasFundingSchemeCall.⊤ ⊑ Grant
PostalAddress ⊑ ∀ fullAddress.string
ProjectPublication ⊑ = 1 publishedYear.Literal
AdministrativeArea ⊑ = 1 name.Literal
PostalAddress ⊑ = 1 addressCountry.Literal
Result ⊑ = 1 title.Literal
⊤ ⊑ ∀ publishedYear.nonNegativeInteger
∃ projectStatus.⊤ ⊑ Project
⊤ ⊑ ∀ publishedPages.Literal
⊤ ⊑ ≤ 1 issn
hasFundingSchemeCall ⊑ hasFundingScheme
hasFundingSchemeProgramme ⊑ hasFundingScheme
⊤ ⊑ ∀ periodNumber.integer
Organisation ⊑ ≤ 1 url.Literal
Country ⊑ ≤ 1 hasEUCountryCode.⊤
⊤ ⊑ ∀ signatureDate.date
⊤ ⊑ ∀ fullAddress.Literal
⊤ ⊑ ∀ postalCode.Literal
⊤ ⊑ ∀ authorList.string
ResearchOrganisation ⊑ Organisation
Person ⊑ ∀ hasRole.PersonRole
PostalAddress ⊑ = 1 addressLocality.Literal
Grant ⊑ ≥ 1 hasBeneficiary.⊤
⊤ ⊑ ∀ faxNumber.Literal
⊤ ⊑ ∀ value.decimal
Role ⊑ = 1 endDate.Literal
Project ⊑ = 1 rcn.Literal
∃ isbn.⊤ ⊑ ProjectPublication
Project ⊑ = 1 endDate.Literal
Organisation ⊑ ≥ 1 hasSite.⊤
∃ publisher.⊤ ⊑ ProjectPublication
ProjectReportSummary ⊑ ≤ 1 startDate.Literal
⊤ ⊑ ≤ 1 doi
∃ hasNUTS1code.⊤ ⊑ AdministrativeArea
hasNUTS0code ⊑ hasNUTSCode
terminationDate⊑date
ForProfitOrganisation ⊑ ¬ FundingAgency, ForProfitOrganisation ⊑ ¬ HigherOrSecondaryEducation, ForProfitOrganisation ⊑ ¬ PublicBody, ForProfitOrganisation ⊑ ¬ ResearchOrganisation, ForProfitOrganisation ⊑ ¬ SMEFundingAgency ⊑ ¬ HigherOrSecondaryEducation, FundingAgency ⊑ ¬ PublicBody, FundingAgency ⊑ ¬ ResearchOrganisation, FundingAgency ⊑ ¬ SMEHigherOrSecondaryEducation ⊑ ¬ PublicBody, HigherOrSecondaryEducation ⊑ ¬ ResearchOrganisation, HigherOrSecondaryEducation ⊑ ¬ SMEPublicBody ⊑ ¬ ResearchOrganisation, PublicBody ⊑ ¬ SMEResearchOrganisation ⊑ ¬ SME
⊤ ⊑ ∀ rcn.nonNegativeInteger
∃ hasAddress.⊤ ⊑ Site
Project ⊑ = 1 startDate.Literal
Organisation ⊑ = 1 identifier.Literal
⊤ ⊑ ∀ projectStatus.({CANCEL}⊔{CLOSED}⊔{ONGOING}⊔{SIGNED}⊔{TERMINATED})
∃ hasNUTS3code.⊤ ⊑ AdministrativeArea
Project ⊑ = 1 abstract.Literal