academic discipline (E13)

From MaRDI portal
EntitySchema:E13
language codelabeldescriptionaliasesedit
enacademic disciplineschema for academic disciplineedit
# Schema for MathModDB academic disciplines in the MaRDI portal (EntitySchema:E13)
PREFIX rdf:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:     <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl:      <http://www.w3.org/2002/07/owl#>
PREFIX skos:     <http://www.w3.org/2004/02/skos/core#>
PREFIX schema:   <http://schema.org/>
PREFIX wikibase: <http://wikiba.se/ontology#>
PREFIX wd:       <https://portal.mardi4nfdi.de/entity/>
PREFIX wdt:      <https://portal.mardi4nfdi.de/prop/direct/>
PREFIX p:        <https://portal.mardi4nfdi.de/prop/>
PREFIX ps:       <https://portal.mardi4nfdi.de/prop/statement/>
PREFIX pq:       <https://portal.mardi4nfdi.de/prop/qualifier/>

start = @<academicDiscipline>

# an academic discipline must be an instance of Q60231 (academic discipline)
# AND belong to the MathModDB community (P1495 = Q6534265).
<academicDiscipline> EXTRA wdt:P31 wdt:P1495
                      rdfs:label skos:altLabel skos:prefLabel
                      schema:description schema:version schema:dateModified
                      owl:sameAs wikibase:statements wikibase:sitelinks wikibase:identifiers {
  wdt:P31    [ wd:Q60231 ] ;                         # instance of: academic discipline
  wdt:P1495  [ wd:Q6534265 ] ;                        # community: MathModDB
  p:P1560    @<containsStatement> * ;                 # contains: zero or more research problems, validated against E10
  p:P1684    @<specializedByStatement> * ;            # specialized by: another academic discipline
  p:P286     @<describedBySourceStatement> *          # described by source (with optional role qualifier)
}

# statement node for P1560.
<containsStatement> {
  ps:P1560   @<researchProblemRef> ;
}

# statement node for P1684.
# uses <academicDisciplineRef> instead of <academicDiscipline> to avoid
# circular negative dependencies caused by mutual EXTRA recursion.
<specializedByStatement> EXTRA ps:P1684 {
  # statement value: another academic discipline
  ps:P1684   @<academicDisciplineRef> ;
}

<describedBySourceStatement> EXTRA ps:P286 pq:P560 {
  ps:P286    @<publication> ;
  # qualifier: object has role = review, use, invention, documentation, or science project, analysis, application (optional)
  pq:P560    [ wd:Q6672366 wd:Q6480405 wd:Q6672344 wd:Q6672349 wd:Q6775621 wd:Q6825292 wd:Q6825298 ] *
}

<publication> EXTRA wdt:P31
                    rdfs:label skos:altLabel schema:description
                    schema:version schema:dateModified owl:sameAs
                    wikibase:statements wikibase:sitelinks wikibase:identifiers {
  # instance of: scholarly article, conference paper, chapter, monograph, thesis, dissertation,
  # book, report, scientific journal, (version, edition, or translation), ISO standard edition, YouTube channel
  # written work, volume, reference work, encyclopedic dictionary, Jewish encyclopedia, universal encyclopedia
  # literary work, controlled vocabulary, explanatory dictionary
  wdt:P31    [ wd:Q56887 wd:Q56888 wd:Q56552 wd:Q56763  wd:Q57010 wd:Q56927
               wd:Q56401 wd:Q57006 wd:Q56973 wd:Q56536 wd:Q7268923 wd:Q7270076
               wd:Q56538 wd:Q56449 wd:Q7274954 wd:Q7284804  wd:Q7284810 wd:Q7284813
               wd:Q56811 wd:Q7284835 wd:Q7284945 ] ;
}

# ---------------------------------------------------------------------------
# lightweight reference shapes — no recursion beyond a single instance-of
# (+ community) check, which is sufficient to identify academic discipline
# and research problem items without triggering circular dependency errors.
# ---------------------------------------------------------------------------

<academicDisciplineRef> EXTRA wdt:P31 wdt:P1495 {
  wdt:P31    [ wd:Q60231 ] ;                          # instance of: academic discipline
  wdt:P1495  [ wd:Q6534265 ] ;                         # community: MathModDB
}

<researchProblemRef> EXTRA wdt:P31 wdt:P1495 {
  wdt:P31    [ wd:Q6534292 ] ;                        # instance of: research problem
  wdt:P1495  [ wd:Q6534265 ] ;                         # community: MathModDB
}