Graph: http://mizar.unive.it/catalogo_biflow/rdf/biflow#

The Biflow-Toscana Bilingue ontology is structured with classes and properties that import and extend other formal ontologies already in existence, such as eFRBRoo (), CIDOC CRM (Comité International pour la Documentation-Conceptual Reference Model), and Biblissima ontology. The theoretical assumptions and the following classes were also inspired by Peter Burke’s questions raised in “Cultures of Translations” and noted here in section three. The questions What?, Who?, and In what manner? were very helpful starting points for building a theoretical framework. The Biflow ontology maps out two main units of analysis that are clearly distinct from one another: firstly, the text with its linguistic and literary aspects (including language, genre, authorship, etc.); secondly, the material and historical characteristics of the manuscripts in which the texts are presented. Consequently, the core of the ontology is based on four main classes: Work, Expression, Manuscript, and Person.

Ontology documentation automatically generated by Ontospy on 28th June 2021 14:30


 Table of Content


 A-Z of terms

This is a complete alphabetical A-Z index of all terms, by main logical type.
Classes (31) base:Binding | biflow:Bibliography | biflow:CheckStatus | biflow:Date | biflow:Editor | biflow:Expression | biflow:Genre | biflow:Identifier | biflow:Language | biflow:Library | biflow:Localisation | biflow:Manuscript | biflow:Material | biflow:Otherlanguages | biflow:Person | biflow:PublicationCategory | biflow:RuledLineTechnique | biflow:TextualTypology | biflow:Typology | biflow:Work | current:E39_Actor | current:E41_Appellation | current:E42_Identifier | current:E53_Place | current:E54_Dimension | current:E55_Type | current:E57_Material | current:E57_RuledLineTechnique | current:E82_Actor_Appellation | current:E84_Information_Carrier | https://mizar.unive.it/catalogo_biflow/rdf/biflow
Object Properties (96)  biflow:attributions | biflow:author | biflow:chapter | biflow:checkStatus | biflow:code | biflow:codeBibl | biflow:copyist | biflow:date | biflow:derives_from | biflow:editionHistory | biflow:editor | biflow:explicit | biflow:expression | biflow:expressions | biflow:genre | biflow:has_author | biflow:has_been_attributed_to | biflow:has_been_considered_author_of | biflow:has_been_created_by | biflow:has_bibliography | biflow:has_binding_description | biflow:has_birth_date | biflow:has_check_Status | biflow:has_city | biflow:has_code | biflow:has_collation_description | biflow:has_content | biflow:has_creation_date | biflow:has_current_library_location | biflow:has_date | biflow:has_death_date | biflow:has_decoration_description | biflow:has_dimension_height | biflow:has_dimension_width | biflow:has_genre | biflow:has_history | biflow:has_library_code | biflow:has_library_name | biflow:has_link | biflow:has_localization | biflow:has_manuscript | biflow:has_material | biflow:has_material_identifier | biflow:has_name | biflow:has_nickname | biflow:has_note | biflow:has_other_languages | biflow:has_other_translations | biflow:has_physical_description | biflow:has_place_expressed | biflow:has_related_works | biflow:has_representative_expression | biflow:has_ruledLineTechnique_identifier | biflow:has_ruled_line_technique | biflow:has_ruled_lines | biflow:has_script_description | biflow:has_shelf_mark_identifier | biflow:has_typology | biflow:incipit | biflow:is_author_of | biflow:is_bibliography_of | biflow:is_check_status_of | biflow:is_copyst_of | biflow:is_derived_from | biflow:is_editor_of_manuscript | biflow:is_editor_of_work | biflow:is_genre_of | biflow:is_material_of | biflow:is_ruled_line_technique_of | biflow:is_translator_of | biflow:is_typology_of | biflow:journal | biflow:journalNumber | biflow:language | biflow:localisation | biflow:localisations | biflow:manuscript | biflow:manuscriptTradition | biflow:manuscripts | biflow:note | biflow:otherExpressions | biflow:pageNumber | biflow:place | biflow:publicationCategory | biflow:publications | biflow:published | biflow:publisher | biflow:textualHistory | biflow:textual_typology | biflow:title | biflow:translator | biflow:typology | biflow:url | biflow:volume | biflow:volumeNumber | biflow:work

 Classes

Class: base:Binding   back to top


NOTE base:Binding is a leaf node.

Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_binding_description

Implementation:

None

Class: biflow:Bibliography   back to top


NOTE biflow:Bibliography is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:author | biflow:chapter | biflow:codeBibl | biflow:date | biflow:editor | biflow:is_bibliography_of | biflow:journal | biflow:journalNumber | biflow:manuscripts | biflow:pageNumber | biflow:place | biflow:publisher | biflow:title | biflow:url | biflow:volume | biflow:volumeNumber

Property Range of:
biflow:has_bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Bibliography a owl:Class ;
rdfs:label "Bibliography"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:CheckStatus   back to top


NOTE biflow:CheckStatus is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:checkStatus | biflow:is_check_status_of

Property Range of:
biflow:has_check_Status

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:CheckStatus a owl:Class ;
rdfs:label "CheckStatus"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Date   back to top


NOTE biflow:Date is a leaf node.

Description
This is the rappresentation of a biflow date

Inherits from:
owl:Thing

Property Range of:
biflow:date | biflow:has_birth_date | biflow:has_creation_date | biflow:has_date | biflow:has_death_date

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Date a owl:Class ;
rdfs:label "Date"@en ;
rdfs:comment "This is the rappresentation of a biflow date"@en ;
owl:equivalentClass current:E50_Date .

Class: biflow:Editor   back to top


NOTE biflow:Editor is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:editor | biflow:is_editor_of_manuscript | biflow:is_editor_of_work

Property Range of:
biflow:has_been_created_by

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Editor a owl:Class ;
rdfs:label "Editor"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Expression   back to top


NOTE biflow:Expression is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:attributions | biflow:code | biflow:date | biflow:derives_from | biflow:editionHistory | biflow:explicit | biflow:has_other_languages | biflow:incipit | biflow:is_derived_from | biflow:language | biflow:localisations | biflow:manuscriptTradition | biflow:textualHistory | biflow:textual_typology | biflow:title | biflow:translator | biflow:work

Property Range of:
biflow:derives_from | biflow:expression | biflow:expressions | biflow:has_been_considered_author_of | biflow:has_representative_expression | biflow:is_derived_from | biflow:is_translator_of | biflow:otherExpressions

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Expression a owl:Class ;
rdfs:label "Expression"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Genre   back to top


NOTE biflow:Genre is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:genre | biflow:is_genre_of

Property Range of:
biflow:has_genre

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Genre a owl:Class ;
rdfs:label "Genre"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Identifier   back to top


NOTE biflow:Identifier is a leaf node.

Description
This is the rappresentation of a Biflow identifier

Inherits from:
owl:Thing

Property Range of:
biflow:code | biflow:has_code

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix efrbroo: <http://erlangen-crm.org/efrbroo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Identifier a owl:Class ;
rdfs:label "Identifier"@en ;
rdfs:comment "This is the rappresentation of a Biflow identifier"@en ;
owl:equivalentClass efrbroo:F13_Identifier .

Class: biflow:Language   back to top


NOTE biflow:Language is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:expressions | biflow:language | biflow:otherExpressions

Property Range of:
biflow:language

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Language a owl:Class ;
rdfs:label "Language"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Library   back to top


NOTE biflow:Library is a leaf node.

Description
This class defines a library which is the place where manuscripts are preserved.

Inherits from (1):
current:E53_Place

Property Domain of:
biflow:has_city | biflow:has_library_code | biflow:has_library_name | biflow:has_manuscript

Property Range of:
biflow:has_current_library_location

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Library a owl:Class ;
rdfs:label "Library"@en ;
rdfs:comment "This class defines a library which is the place where manuscripts are preserved."@en ;
rdfs:isDefinedBy biflow: ;
rdfs:subClassOf current:E53_Place .

Class: biflow:Localisation   back to top


NOTE biflow:Localisation is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:copyist | biflow:date | biflow:expression | biflow:localisation | biflow:manuscript | biflow:note

Property Range of:
biflow:has_localization | biflow:is_copyst_of | biflow:localisations

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Localisation a owl:Class ;
rdfs:label "Localisation"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Manuscript   back to top


NOTE biflow:Manuscript is a leaf node.

Description
The manuscript is the document made in the Middle Ages for texts. "This is the Manuscript Class

Inherits from (1):
current:E84_Information_Carrier

Property Domain of:
biflow:has_been_created_by | biflow:has_bibliography | biflow:has_binding_description | biflow:has_check_Status | biflow:has_collation_description | biflow:has_content | biflow:has_current_library_location | biflow:has_date | biflow:has_decoration_description | biflow:has_dimension_height | biflow:has_dimension_width | biflow:has_history | biflow:has_link | biflow:has_localization | biflow:has_material | biflow:has_note | biflow:has_physical_description | biflow:has_place_expressed | biflow:has_ruled_line_technique | biflow:has_ruled_lines | biflow:has_script_description | biflow:has_shelf_mark_identifier | biflow:has_typology

Property Range of:
biflow:has_manuscript | biflow:is_check_status_of | biflow:is_editor_of_manuscript | biflow:is_material_of | biflow:is_ruled_line_technique_of | biflow:is_typology_of | biflow:manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix efrbroo: <http://erlangen-crm.org/efrbroo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Manuscript a owl:Class ;
rdfs:label "Manuscript"@en ;
rdfs:comment """The manuscript is the document made in the Middle Ages for texts.
"This is the Manuscript Class"""@en ;
rdfs:isDefinedBy biflow: ;
rdfs:subClassOf current:E84_Information_Carrier ;
owl:equivalentClass efrbroo:F4_Manifestation_Singleton .

Class: biflow:Material   back to top


NOTE biflow:Material is a leaf node.

Description

Inherits from (1):
current:E57_Material

Property Domain of:
biflow:has_material_identifier | biflow:is_material_of

Property Range of:
biflow:has_material

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Material a owl:Class ;
rdfs:label "Material"@en ;
rdfs:isDefinedBy biflow: ;
rdfs:subClassOf current:E57_Material .

Class: biflow:Otherlanguages   back to top


NOTE biflow:Otherlanguages is a leaf node.

Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_other_languages

Implementation:

None

Class: biflow:Person   back to top


NOTE biflow:Person is a leaf node.

Description

Inherits from (1):
current:E39_Actor

Property Domain of:
biflow:has_been_considered_author_of | biflow:has_birth_date | biflow:has_death_date | biflow:has_name | biflow:has_nickname | biflow:is_author_of | biflow:is_copyst_of | biflow:is_translator_of

Property Range of:
biflow:copyist | biflow:has_author | biflow:has_been_attributed_to | biflow:translator

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix efrbroo: <http://erlangen-crm.org/efrbroo/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Person a owl:Class ;
rdfs:label "Person"@en ;
rdfs:isDefinedBy biflow: ;
rdfs:subClassOf current:E39_Actor ;
owl:equivalentClass current:E21_Person,
efrbroo:F10_Person,
foaf:Person .

Class: biflow:PublicationCategory   back to top


NOTE biflow:PublicationCategory is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:publicationCategory | biflow:publications

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:PublicationCategory a owl:Class ;
rdfs:label "PublicationCategory"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:RuledLineTechnique   back to top


NOTE biflow:RuledLineTechnique is a leaf node.

Description

Inherits from (1):
current:E57_RuledLineTechnique

Property Domain of:
biflow:has_ruledLineTechnique_identifier | biflow:is_ruled_line_technique_of

Property Range of:
biflow:has_ruled_line_technique

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:RuledLineTechnique a owl:Class ;
rdfs:label "RuledLineTechnique"@en ;
rdfs:isDefinedBy biflow: ;
rdfs:subClassOf current:E57_RuledLineTechnique .

Class: biflow:TextualTypology   back to top


NOTE biflow:TextualTypology is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:expressions | biflow:textual_typology

Property Range of:
biflow:textual_typology

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:TextualTypology a owl:Class ;
rdfs:label "TextualTypology"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Typology   back to top


NOTE biflow:Typology is a leaf node.

Description

Inherits from:
owl:Thing

Property Domain of:
biflow:is_typology_of | biflow:typology

Property Range of:
biflow:has_typology

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Typology a owl:Class ;
rdfs:label "Typology"@en ;
rdfs:isDefinedBy biflow: .

Class: biflow:Work   back to top


NOTE biflow:Work is a leaf node.

Description

Inherits from (1):
https://mizar.unive.it/catalogo_biflow/rdf/biflow

Property Domain of:
biflow:has_author | biflow:has_been_attributed_to | biflow:has_been_created_by | biflow:has_bibliography | biflow:has_code | biflow:has_content | biflow:has_creation_date | biflow:has_genre | biflow:has_other_translations | biflow:has_related_works | biflow:has_representative_expression | biflow:published

Property Range of:
biflow:has_been_considered_author_of | biflow:is_author_of | biflow:is_bibliography_of | biflow:is_editor_of_work | biflow:is_genre_of | biflow:work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:Work a owl:Class ;
rdfs:label "Work"@en ;
rdfs:isDefinedBy biflow: ;
rdfs:subClassOf <https://mizar.unive.it/catalogo_biflow/rdf/biflow> ;
owl:equivalentClass <http://erlangen-crm.org/efrbroo//F1_Work> .

Class: current:E39_Actor   back to top


Description

Inherits from:
owl:Thing

Implementation:

None

Class: current:E41_Appellation   back to top


NOTE current:E41_Appellation is a leaf node.

Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_library_name | biflow:has_nickname | biflow:has_shelf_mark_identifier

Implementation:

None

Class: current:E42_Identifier   back to top


NOTE current:E42_Identifier is a leaf node.

Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_library_code

Implementation:

None

Class: current:E53_Place   back to top


Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_city | biflow:has_place_expressed

Implementation:

None

Class: current:E54_Dimension   back to top


NOTE current:E54_Dimension is a leaf node.

Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_dimension_height | biflow:has_dimension_width

Implementation:

None

Class: current:E55_Type   back to top


NOTE current:E55_Type is a leaf node.

Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_script_description

Implementation:

None

Class: current:E57_Material   back to top


Description

Inherits from:
owl:Thing

Implementation:

None

Class: current:E57_RuledLineTechnique   back to top


Description

Inherits from:
owl:Thing

Implementation:

None

Class: current:E82_Actor_Appellation   back to top


NOTE current:E82_Actor_Appellation is a leaf node.

Description

Inherits from:
owl:Thing

Property Range of:
biflow:has_name

Implementation:

None

Class: current:E84_Information_Carrier   back to top


Description

Inherits from:
owl:Thing

Implementation:

None

Class: https://mizar.unive.it/catalogo_biflow/rdf/biflow   back to top


Description

Inherits from:
owl:Thing

Implementation:

None


 Object Properties

Object Property: biflow:attributions   back to top


NOTE biflow:attributions is a leaf node.

Description

Class Domain for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:attributions a owl:ObjectProperty ;
rdfs:label "attributions"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:author   back to top


NOTE biflow:author is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:author a owl:ObjectProperty ;
rdfs:label "author"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:chapter   back to top


NOTE biflow:chapter is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:chapter a owl:ObjectProperty ;
rdfs:label "chapter"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:checkStatus   back to top


NOTE biflow:checkStatus is a leaf node.

Description

Class Domain for:
biflow:CheckStatus

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:checkStatus a owl:ObjectProperty ;
rdfs:label "checkStatus"@en ;
rdfs:domain biflow:CheckStatus ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:code   back to top


NOTE biflow:code is a leaf node.

Description

Class Domain for:
biflow:Expression

Class Range for:
biflow:Identifier

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:code a owl:ObjectProperty ;
rdfs:label "code"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Identifier .

Object Property: biflow:codeBibl   back to top


NOTE biflow:codeBibl is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:codeBibl a owl:ObjectProperty ;
rdfs:label "codeBibl"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:copyist   back to top


NOTE biflow:copyist is a leaf node.

Description

Class Domain for:
biflow:Localisation

Class Range for:
biflow:Person

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:copyist a owl:ObjectProperty ;
rdfs:label "copyist"@en ;
rdfs:domain biflow:Localisation ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Person .

Object Property: biflow:date   back to top


NOTE biflow:date is a leaf node.

Description

Class Domain for:
biflow:Localisation | biflow:Expression | biflow:Bibliography

Class Range for:
biflow:Date

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:date a owl:ObjectProperty ;
rdfs:label "date"@en ;
rdfs:domain biflow:Bibliography,
biflow:Expression,
biflow:Localisation ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Date .

Object Property: biflow:derives_from   back to top


NOTE biflow:derives_from is a leaf node.

Description

Class Domain for:
biflow:Expression

Class Range for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:derives_from a owl:ObjectProperty ;
rdfs:label "derives_from"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression .

Object Property: biflow:editionHistory   back to top


NOTE biflow:editionHistory is a leaf node.

Description

Class Domain for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:editionHistory a owl:ObjectProperty ;
rdfs:label "editionHistory"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:editor   back to top


NOTE biflow:editor is a leaf node.

Description

Class Domain for:
biflow:Editor | biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:editor a owl:ObjectProperty ;
rdfs:label "editor"@en ;
rdfs:domain biflow:Bibliography,
biflow:Editor ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:explicit   back to top


NOTE biflow:explicit is a leaf node.

Description

Class Domain for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:explicit a owl:ObjectProperty ;
rdfs:label "explicit"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:expression   back to top


NOTE biflow:expression is a leaf node.

Description

Class Domain for:
biflow:Localisation

Class Range for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:expression a owl:ObjectProperty ;
rdfs:label "expression"@en ;
rdfs:domain biflow:Localisation ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression .

Object Property: biflow:expressions   back to top


NOTE biflow:expressions is a leaf node.

Description

Class Domain for:
biflow:Language | biflow:TextualTypology

Class Range for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:expressions a owl:ObjectProperty ;
rdfs:label "expressions"@en ;
rdfs:domain biflow:Language,
biflow:TextualTypology ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression .

Object Property: biflow:genre   back to top


NOTE biflow:genre is a leaf node.

Description

Class Domain for:
biflow:Genre

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:genre a owl:ObjectProperty ;
rdfs:label "genre"@en ;
rdfs:domain biflow:Genre ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_author   back to top


NOTE biflow:has_author is a leaf node.

Description
The author who created this work.

Class Domain for:
biflow:Work

Class Range for:
biflow:Person

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_author a owl:ObjectProperty ;
rdfs:label "has_author"@en ;
rdfs:comment "The author who created this work."@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Person ;
owl:equivalentProperty current:P94i_was_created_by .

Object Property: biflow:has_been_attributed_to   back to top


NOTE biflow:has_been_attributed_to is a leaf node.

Description
statements of responsibility are expressed though knowledge creation of a work

Class Domain for:
biflow:Work

Class Range for:
biflow:Person

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_been_attributed_to a owl:ObjectProperty ;
rdfs:label "has_been_attributed_to"@en ;
rdfs:comment "statements of responsibility are expressed though knowledge creation of a work"@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Person ;
owl:equivalentProperty current:P140_assigned_attribute_to .

Object Property: biflow:has_been_considered_author_of   back to top


NOTE biflow:has_been_considered_author_of is a leaf node.

Description
This person has been considered the author of that work This person has been considered the author of that expression

Class Domain for:
biflow:Person

Class Range for:
biflow:Work | biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_been_considered_author_of a owl:ObjectProperty ;
rdfs:label "has_been_considered_author_of"@en ;
rdfs:comment """This person has been considered the author of that work
This person has been considered the author of that expression"""@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression,
biflow:Work .

Object Property: biflow:has_been_created_by   back to top


NOTE biflow:has_been_created_by is a leaf node.

Description
The editor of this manuscript The editor of this work

Class Domain for:
biflow:Work | biflow:Manuscript

Class Range for:
biflow:Editor

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_been_created_by a owl:ObjectProperty ;
rdfs:label "has_been_created_by"@en ;
rdfs:comment """The editor of this manuscript
The editor of this work"""@en ;
rdfs:domain biflow:Manuscript,
biflow:Work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Editor ;
rdfs:subPropertyOf current:P14_carried_out_by .

Object Property: biflow:has_bibliography   back to top


NOTE biflow:has_bibliography is a leaf node.

Description
Has a bibliografy entry of this manuscript Has a bibliografy entry of this work

Class Domain for:
biflow:Work | biflow:Manuscript

Class Range for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_bibliography a owl:ObjectProperty ;
rdfs:label "has_bibliography"@en ;
rdfs:comment """Has a bibliografy entry of this manuscript
Has a bibliografy entry of this work"""@en ;
rdfs:domain biflow:Manuscript,
biflow:Work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Bibliography .

Object Property: biflow:has_binding_description   back to top


NOTE biflow:has_binding_description is a leaf node.

Description
Information about the binding description.

Class Domain for:
biflow:Manuscript

Class Range for:
base:Binding

Implementation:

@prefix base: <https://w3id.org/bibma/> .
@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_binding_description a owl:ObjectProperty ;
rdfs:label "Information about the binding description."@en ;
rdfs:comment "Information about the binding description."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range base:Binding .

Object Property: biflow:has_birth_date   back to top


NOTE biflow:has_birth_date is a leaf node.

Description
The date of birth

Class Domain for:
biflow:Person

Class Range for:
biflow:Date

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_birth_date a owl:ObjectProperty ;
rdfs:label "has_birth_date"@en ;
rdfs:comment "The date of birth"@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Date .

Object Property: biflow:has_check_Status   back to top


NOTE biflow:has_check_Status is a leaf node.

Description
Intormation of how this manuscrpt was examined.

Class Domain for:
biflow:Manuscript

Class Range for:
biflow:CheckStatus

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_check_Status a owl:ObjectProperty ;
rdfs:label "Intormation of how this manuscrpt was examined."@en ;
rdfs:comment "Intormation of how this manuscrpt was examined."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:CheckStatus .

Object Property: biflow:has_city   back to top


NOTE biflow:has_city is a leaf node.

Description
The city where the library is located

Class Domain for:
biflow:Library

Class Range for:
current:E53_Place

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_city a owl:ObjectProperty ;
rdfs:label "has_city"@en ;
rdfs:comment "The city where the library is located"@en ;
rdfs:domain biflow:Library ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E53_Place ;
owl:equivalentProperty current:P53i_is_former_or_current_location_of .

Object Property: biflow:has_code   back to top


NOTE biflow:has_code is a leaf node.

Description
The biflow code of the work

Class Domain for:
biflow:Work

Class Range for:
biflow:Identifier

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_code a owl:ObjectProperty ;
rdfs:label "has_code"@en ;
rdfs:comment "The biflow code of the work"@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Identifier ;
owl:equivalentProperty current:P1_is_identified_by .

Object Property: biflow:has_collation_description   back to top


NOTE biflow:has_collation_description is a leaf node.

Description
Description of this manuscript collation.

Class Domain for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_collation_description a owl:ObjectProperty ;
rdfs:label "Description of this manuscript collation."@en ;
rdfs:comment "Description of this manuscript collation."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_content   back to top


NOTE biflow:has_content is a leaf node.

Description
A textual description of the content of this work

Class Domain for:
biflow:Work | biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_content a owl:ObjectProperty ;
rdfs:label "the content of this manuscript."@en ;
rdfs:comment "A textual description of the content of this work"@en ;
rdfs:domain biflow:Manuscript,
biflow:Work ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_creation_date   back to top


NOTE biflow:has_creation_date is a leaf node.

Description
The creation date of the dossier by the editor

Class Domain for:
biflow:Work

Class Range for:
biflow:Date

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_creation_date a owl:ObjectProperty ;
rdfs:label "has_creation_date"@en ;
rdfs:comment "The creation date of the dossier by the editor"@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Date .

Object Property: biflow:has_current_library_location   back to top


NOTE biflow:has_current_library_location is a leaf node.

Description
The name of the the library where the manuscript is preserved.

Class Domain for:
biflow:Manuscript

Class Range for:
biflow:Library

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_current_library_location a owl:ObjectProperty ;
rdfs:label "The library whose the manuscript is preserved"@en ;
rdfs:comment "The name of the the library where the manuscript is preserved."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Library ;
owl:equivalentProperty current:P55_has_current_location .

Object Property: biflow:has_date   back to top


NOTE biflow:has_date is a leaf node.

Description
The information about the dates related to the manuscript. This date can be expressed in the manuscript or supposed by scholars.

Class Domain for:
biflow:Manuscript

Class Range for:
biflow:Date

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_date a owl:ObjectProperty ;
rdfs:label "The date of the manuscript"@en ;
rdfs:comment "The information about the dates related to the manuscript. This date can be expressed in the manuscript or supposed by scholars."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Date .

Object Property: biflow:has_death_date   back to top


NOTE biflow:has_death_date is a leaf node.

Description
The date of death

Class Domain for:
biflow:Person

Class Range for:
biflow:Date

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_death_date a owl:ObjectProperty ;
rdfs:label "has_death_date"@en ;
rdfs:comment "The date of death"@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Date .

Object Property: biflow:has_decoration_description   back to top


NOTE biflow:has_decoration_description is a leaf node.

Description
Futher information about the decoration descrition.

Class Domain for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_decoration_description a owl:ObjectProperty ;
rdfs:label "Futher information about the decoration descrition."@en ;
rdfs:comment "Futher information about the decoration descrition."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_dimension_height   back to top


NOTE biflow:has_dimension_height is a leaf node.

Description
The height of the manuscript.

Class Domain for:
biflow:Manuscript

Class Range for:
current:E54_Dimension

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_dimension_height a owl:ObjectProperty ;
rdfs:label "The height of the manuscript."@en ;
rdfs:comment "The height of the manuscript."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E54_Dimension ;
owl:equivalentProperty current:P43_has_dimension .

Object Property: biflow:has_dimension_width   back to top


NOTE biflow:has_dimension_width is a leaf node.

Description
The widht of the manuscript.

Class Domain for:
biflow:Manuscript

Class Range for:
current:E54_Dimension

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_dimension_width a owl:ObjectProperty ;
rdfs:label "The widht of the manuscript."@en ;
rdfs:comment "The widht of the manuscript."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E54_Dimension ;
owl:equivalentProperty current:P43_has_dimension .

Object Property: biflow:has_genre   back to top


NOTE biflow:has_genre is a leaf node.

Description

Class Domain for:
biflow:Work

Class Range for:
biflow:Genre

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_genre a owl:ObjectProperty ;
rdfs:label "has_genre"@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Genre .

Object Property: biflow:has_history   back to top


NOTE biflow:has_history is a leaf node.

Description
Description of the history of the codex.

Class Domain for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_history a owl:ObjectProperty ;
rdfs:label "Description of the history of the codex."@en ;
rdfs:comment "Description of the history of the codex."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_library_code   back to top


NOTE biflow:has_library_code is a leaf node.

Description
The library's code

Class Domain for:
biflow:Library

Class Range for:
current:E42_Identifier

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_library_code a owl:ObjectProperty ;
rdfs:label "has_library_code"@en ;
rdfs:comment "The library's code"@en ;
rdfs:domain biflow:Library ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E42_Identifier ;
owl:equivalentProperty current:P1_is_identified_by .

Object Property: biflow:has_library_name   back to top


NOTE biflow:has_library_name is a leaf node.

Description
The library's name

Class Domain for:
biflow:Library

Class Range for:
current:E41_Appellation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_library_name a owl:ObjectProperty ;
rdfs:label "has_library_name"@en ;
rdfs:comment "The library's name"@en ;
rdfs:domain biflow:Library ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E41_Appellation ;
owl:equivalentProperty current:P1_is_identified_by .

Object Property: biflow:has_link   back to top


NOTE biflow:has_link is a leaf node.

Description
URL to a facsimile online.

Class Domain for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_link a owl:ObjectProperty ;
rdfs:label "URL to a online source."@en ;
rdfs:comment "URL to a facsimile online."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_localization   back to top


NOTE biflow:has_localization is a leaf node.

Description
The list of localisations for this manuscript.

Class Domain for:
biflow:Manuscript

Class Range for:
biflow:Localisation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_localization a owl:ObjectProperty ;
rdfs:label "The list of localisations for this manuscript."@en ;
rdfs:comment "The list of localisations for this manuscript."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Localisation .

Object Property: biflow:has_manuscript   back to top


NOTE biflow:has_manuscript is a leaf node.

Description
The library preserves the manuscript

Class Domain for:
biflow:Library

Class Range for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_manuscript a owl:ObjectProperty ;
rdfs:label "has_manuscript"@en ;
rdfs:comment "The library preserves the manuscript"@en ;
rdfs:domain biflow:Library ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Manuscript .

Object Property: biflow:has_material   back to top


NOTE biflow:has_material is a leaf node.

Description
The material whose the manuscript is made.

Class Domain for:
biflow:Manuscript

Class Range for:
biflow:Material

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_material a owl:ObjectProperty ;
rdfs:label "The material whose the manuscript is made"@en ;
rdfs:comment "The material whose the manuscript is made."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Material ;
owl:equivalentProperty current:P45_consists_of .

Object Property: biflow:has_material_identifier   back to top


NOTE biflow:has_material_identifier is a leaf node.

Description

Class Domain for:
biflow:Material

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_material_identifier a owl:ObjectProperty ;
rdfs:label "has_material_identifier"@en ;
rdfs:domain biflow:Material ;
rdfs:isDefinedBy biflow: ;
owl:equivalentProperty current:P1_is_identified_by .

Object Property: biflow:has_name   back to top


NOTE biflow:has_name is a leaf node.

Description
The name of the person

Class Domain for:
biflow:Person

Class Range for:
current:E82_Actor_Appellation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_name a owl:ObjectProperty ;
rdfs:label "has_name"@en ;
rdfs:comment "The name of the person"@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E82_Actor_Appellation ;
owl:equivalentProperty current:P131_is_identified_by .

Object Property: biflow:has_nickname   back to top


NOTE biflow:has_nickname is a leaf node.

Description
The person is also known as

Class Domain for:
biflow:Person

Class Range for:
current:E41_Appellation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_nickname a owl:ObjectProperty ;
rdfs:label "has_nickname"@en ;
rdfs:comment "The person is also known as"@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E41_Appellation ;
owl:equivalentProperty current:P1_is_identified_by .

Object Property: biflow:has_note   back to top


NOTE biflow:has_note is a leaf node.

Description
Further information about this manuscript.

Class Domain for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_note a owl:ObjectProperty ;
rdfs:label "the note of this manuscript."@en ;
rdfs:comment "Further information about this manuscript."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_other_languages   back to top


NOTE biflow:has_other_languages is a leaf node.

Description

Class Domain for:
biflow:Expression

Class Range for:
biflow:Otherlanguages

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_other_languages a owl:ObjectProperty ;
rdfs:label "has_other_languages"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Otherlanguages .

Object Property: biflow:has_other_translations   back to top


NOTE biflow:has_other_translations is a leaf node.

Description
The history of the translations of this work

Class Domain for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_other_translations a owl:ObjectProperty ;
rdfs:label "has_other_translations"@en ;
rdfs:comment "The history of the translations of this work"@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_physical_description   back to top


NOTE biflow:has_physical_description is a leaf node.

Description
Futher information about the physical description.

Class Domain for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_physical_description a owl:ObjectProperty ;
rdfs:label "Futher information about the physical description."@en ;
rdfs:comment "Futher information about the physical description."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_place_expressed   back to top


NOTE biflow:has_place_expressed is a leaf node.

Description
The information written or expressed in the manuscript which denote the place where the manuscript was written

Class Domain for:
biflow:Manuscript

Class Range for:
current:E53_Place

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_place_expressed a owl:ObjectProperty ;
rdfs:label "has_place_expressed"@en ;
rdfs:comment "The information written or expressed in the manuscript which denote the place where the manuscript was written"@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E53_Place .

Object Property: biflow:has_related_works   back to top


NOTE biflow:has_related_works is a leaf node.

Description
A description of related works

Class Domain for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_related_works a owl:ObjectProperty ;
rdfs:label "has_related_works"@en ;
rdfs:comment "A description of related works"@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_representative_expression   back to top


NOTE biflow:has_representative_expression is a leaf node.

Description
This property identifies an instance of F22 Self-Contained Expression that has been chosen as the most characteristic expression of the instance of F1 Work of which it is an expression. There is no other semantic implication to this notion of being characteristic than to be an adequate candidate to uniquely identify the Work realized by it. Prototypically, this is the instance of F22 Self-Contained Expression that is deemed characteristic of an instance of F15 Complex Work.

Class Domain for:
biflow:Work

Class Range for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_representative_expression a owl:ObjectProperty ;
rdfs:label "has_representative_expression"@en ;
rdfs:comment "This property identifies an instance of F22 Self-Contained Expression that has been chosen as the most characteristic expression of the instance of F1 Work of which it is an expression. There is no other semantic implication to this notion of being characteristic than to be an adequate candidate to uniquely identify the Work realized by it. Prototypically, this is the instance of F22 Self-Contained Expression that is deemed characteristic of an instance of F15 Complex Work."@en ;
rdfs:domain biflow:Work ;
rdfs:inverseOf biflow:work ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression .

Object Property: biflow:has_ruledLineTechnique_identifier   back to top


NOTE biflow:has_ruledLineTechnique_identifier is a leaf node.

Description

Class Domain for:
biflow:RuledLineTechnique

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_ruledLineTechnique_identifier a owl:ObjectProperty ;
rdfs:label "has_ruledLineTechnique_identifier"@en ;
rdfs:domain biflow:RuledLineTechnique ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_ruled_line_technique   back to top


NOTE biflow:has_ruled_line_technique is a leaf node.

Description
The ruled line tecnique whose the manuscript is made.

Class Domain for:
biflow:Manuscript

Class Range for:
biflow:RuledLineTechnique

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_ruled_line_technique a owl:ObjectProperty ;
rdfs:label "The ruled line tecnique whose the manuscript is made"@en ;
rdfs:comment "The ruled line tecnique whose the manuscript is made."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:ruledLineTechnique .

Object Property: biflow:has_ruled_lines   back to top


NOTE biflow:has_ruled_lines is a leaf node.

Description
Information about the ruling description.

Class Domain for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_ruled_lines a owl:ObjectProperty ;
rdfs:label "Information about the ruling description."@en ;
rdfs:comment "Information about the ruling description."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:has_script_description   back to top


NOTE biflow:has_script_description is a leaf node.

Description
Information about the script.

Class Domain for:
biflow:Manuscript

Class Range for:
current:E55_Type

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_script_description a owl:ObjectProperty ;
rdfs:label "Information about the script."@en ;
rdfs:comment "Information about the script."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E55_Type .

Object Property: biflow:has_shelf_mark_identifier   back to top


NOTE biflow:has_shelf_mark_identifier is a leaf node.

Description
A shelf-mark, or shelfmark, in a manuscript in a library is, specifically, a press-mark that denotes where is located

Class Domain for:
biflow:Manuscript

Class Range for:
current:E41_Appellation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix current: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_shelf_mark_identifier a owl:ObjectProperty ;
rdfs:label "The identifier number of the manuscript"@en ;
rdfs:comment "A shelf-mark, or shelfmark, in a manuscript in a library is, specifically, a press-mark that denotes where is located"@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range current:E41_Appellation ;
owl:equivalentProperty current:P1_is_identified_by .

Object Property: biflow:has_typology   back to top


NOTE biflow:has_typology is a leaf node.

Description
The typology of this manuscript.

Class Domain for:
biflow:Manuscript

Class Range for:
biflow:Typology

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:has_typology a owl:ObjectProperty ;
rdfs:label "The typology of this manuscript"@en ;
rdfs:comment "The typology of this manuscript."@en ;
rdfs:domain biflow:Manuscript ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Typology .

Object Property: biflow:incipit   back to top


NOTE biflow:incipit is a leaf node.

Description

Class Domain for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:incipit a owl:ObjectProperty ;
rdfs:label "incipit"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:is_author_of   back to top


NOTE biflow:is_author_of is a leaf node.

Description
This person is the author of that work

Class Domain for:
biflow:Person

Class Range for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_author_of a owl:ObjectProperty ;
rdfs:label "is_author_of"@en ;
rdfs:comment "This person is the author of that work"@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Work .

Object Property: biflow:is_bibliography_of   back to top


NOTE biflow:is_bibliography_of is a leaf node.

Description
This bibliography is used for that work

Class Domain for:
biflow:Bibliography

Class Range for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_bibliography_of a owl:ObjectProperty ;
rdfs:label "is_bibliography_of"@en ;
rdfs:comment "This bibliography is used for that work"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Work .

Object Property: biflow:is_check_status_of   back to top


NOTE biflow:is_check_status_of is a leaf node.

Description

Class Domain for:
biflow:CheckStatus

Class Range for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_check_status_of a owl:ObjectProperty ;
rdfs:label "is_check_status_of"@en ;
rdfs:domain biflow:CheckStatus ;
rdfs:inverseOf biflow:checkStatus ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Manuscript .

Object Property: biflow:is_copyst_of   back to top


NOTE biflow:is_copyst_of is a leaf node.

Description
This person is the copyst of the text

Class Domain for:
biflow:Person

Class Range for:
biflow:Localisation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_copyst_of a owl:ObjectProperty ;
rdfs:label "is_copyst_of"@en ;
rdfs:comment "This person is the copyst of the text"@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Localisation .

Object Property: biflow:is_derived_from   back to top


NOTE biflow:is_derived_from is a leaf node.

Description

Class Domain for:
biflow:Expression

Class Range for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_derived_from a owl:ObjectProperty ;
rdfs:label "is_derived_from"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression .

Object Property: biflow:is_editor_of_manuscript   back to top


NOTE biflow:is_editor_of_manuscript is a leaf node.

Description

Class Domain for:
biflow:Editor

Class Range for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_editor_of_manuscript a owl:ObjectProperty ;
rdfs:label "is_editor_of_manuscript"@en ;
rdfs:domain biflow:Editor ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Manuscript .

Object Property: biflow:is_editor_of_work   back to top


NOTE biflow:is_editor_of_work is a leaf node.

Description

Class Domain for:
biflow:Editor

Class Range for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_editor_of_work a owl:ObjectProperty ;
rdfs:label "is_editor_of_work"@en ;
rdfs:domain biflow:Editor ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Work .

Object Property: biflow:is_genre_of   back to top


NOTE biflow:is_genre_of is a leaf node.

Description
This genre is used for that work

Class Domain for:
biflow:Genre

Class Range for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_genre_of a owl:ObjectProperty ;
rdfs:label "is_genre_of"@en ;
rdfs:comment "This genre is used for that work"@en ;
rdfs:domain biflow:Genre ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Work .

Object Property: biflow:is_material_of   back to top


NOTE biflow:is_material_of is a leaf node.

Description

Class Domain for:
biflow:Material

Class Range for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_material_of a owl:ObjectProperty ;
rdfs:label "is_material_of"@en ;
rdfs:domain biflow:Material ;
rdfs:inverseOf biflow:has_material ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Manuscript .

Object Property: biflow:is_ruled_line_technique_of   back to top


NOTE biflow:is_ruled_line_technique_of is a leaf node.

Description

Class Domain for:
biflow:RuledLineTechnique

Class Range for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_ruled_line_technique_of a owl:ObjectProperty ;
rdfs:label "is_ruled_line_technique_of"@en ;
rdfs:domain biflow:RuledLineTechnique ;
rdfs:inverseOf biflow:has_ruled_line_technique ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Manuscript .

Object Property: biflow:is_translator_of   back to top


NOTE biflow:is_translator_of is a leaf node.

Description
This person is the translator of that expression

Class Domain for:
biflow:Person

Class Range for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_translator_of a owl:ObjectProperty ;
rdfs:label "is_translator_of"@en ;
rdfs:comment "This person is the translator of that expression"@en ;
rdfs:domain biflow:Person ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression .

Object Property: biflow:is_typology_of   back to top


NOTE biflow:is_typology_of is a leaf node.

Description

Class Domain for:
biflow:Typology

Class Range for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:is_typology_of a owl:ObjectProperty ;
rdfs:label "is_typology_of"@en ;
rdfs:domain biflow:Typology ;
rdfs:inverseOf biflow:has_typology ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Manuscript .

Object Property: biflow:journal   back to top


NOTE biflow:journal is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:journal a owl:ObjectProperty ;
rdfs:label "journal"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:journalNumber   back to top


NOTE biflow:journalNumber is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:journalNumber a owl:ObjectProperty ;
rdfs:label "journalNumber"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:language   back to top


NOTE biflow:language is a leaf node.

Description

Class Domain for:
biflow:Expression | biflow:Language

Class Range for:
biflow:Language

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:language a owl:ObjectProperty ;
rdfs:label "language"@en ;
rdfs:domain biflow:Expression,
biflow:Language ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Language .

Object Property: biflow:localisation   back to top


NOTE biflow:localisation is a leaf node.

Description

Class Domain for:
biflow:Localisation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:localisation a owl:ObjectProperty ;
rdfs:label "localisation"@en ;
rdfs:domain biflow:Localisation ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:localisations   back to top


NOTE biflow:localisations is a leaf node.

Description

Class Domain for:
biflow:Expression

Class Range for:
biflow:Localisation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:localisations a owl:ObjectProperty ;
rdfs:label "localisations"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Localisation .

Object Property: biflow:manuscript   back to top


NOTE biflow:manuscript is a leaf node.

Description

Class Domain for:
biflow:Localisation

Class Range for:
biflow:Manuscript

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:manuscript a owl:ObjectProperty ;
rdfs:label "manuscript"@en ;
rdfs:domain biflow:Localisation ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Manuscript .

Object Property: biflow:manuscriptTradition   back to top


NOTE biflow:manuscriptTradition is a leaf node.

Description

Class Domain for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:manuscriptTradition a owl:ObjectProperty ;
rdfs:label "manuscriptTradition"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:manuscripts   back to top


NOTE biflow:manuscripts is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:manuscripts a owl:ObjectProperty ;
rdfs:label "manuscripts"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:note   back to top


NOTE biflow:note is a leaf node.

Description

Class Domain for:
biflow:Localisation

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:note a owl:ObjectProperty ;
rdfs:label "note"@en ;
rdfs:domain biflow:Localisation ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:otherExpressions   back to top


NOTE biflow:otherExpressions is a leaf node.

Description

Class Domain for:
biflow:Language

Class Range for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:otherExpressions a owl:ObjectProperty ;
rdfs:label "otherExpressions"@en ;
rdfs:domain biflow:Language ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Expression .

Object Property: biflow:pageNumber   back to top


NOTE biflow:pageNumber is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:pageNumber a owl:ObjectProperty ;
rdfs:label "pageNumber"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:place   back to top


NOTE biflow:place is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:place a owl:ObjectProperty ;
rdfs:label "place"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:publicationCategory   back to top


NOTE biflow:publicationCategory is a leaf node.

Description

Class Domain for:
biflow:PublicationCategory

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:publicationCategory a owl:ObjectProperty ;
rdfs:label "publicationCategory"@en ;
rdfs:domain biflow:PublicationCategory ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:publications   back to top


NOTE biflow:publications is a leaf node.

Description

Class Domain for:
biflow:PublicationCategory

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:publications a owl:ObjectProperty ;
rdfs:label "publications"@en ;
rdfs:domain biflow:PublicationCategory ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:published   back to top


NOTE biflow:published is a leaf node.

Description

Class Domain for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:published a owl:ObjectProperty ;
rdfs:label "published"@en ;
rdfs:domain biflow:Work ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:publisher   back to top


NOTE biflow:publisher is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:publisher a owl:ObjectProperty ;
rdfs:label "publisher"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:textualHistory   back to top


NOTE biflow:textualHistory is a leaf node.

Description

Class Domain for:
biflow:Expression

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:textualHistory a owl:ObjectProperty ;
rdfs:label "textualHistory"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:textual_typology   back to top


NOTE biflow:textual_typology is a leaf node.

Description

Class Domain for:
biflow:Expression | biflow:TextualTypology

Class Range for:
biflow:TextualTypology

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:textual_typology a owl:ObjectProperty ;
rdfs:label "textual_typology"@en ;
rdfs:domain biflow:Expression,
biflow:TextualTypology ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:TextualTypology .

Object Property: biflow:title   back to top


NOTE biflow:title is a leaf node.

Description

Class Domain for:
biflow:Expression | biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:title a owl:ObjectProperty ;
rdfs:label "title"@en ;
rdfs:domain biflow:Bibliography,
biflow:Expression ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:translator   back to top


NOTE biflow:translator is a leaf node.

Description

Class Domain for:
biflow:Expression

Class Range for:
biflow:Person

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:translator a owl:ObjectProperty ;
rdfs:label "translator"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Person .

Object Property: biflow:typology   back to top


NOTE biflow:typology is a leaf node.

Description

Class Domain for:
biflow:Typology

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:typology a owl:ObjectProperty ;
rdfs:label "typology"@en ;
rdfs:domain biflow:Typology ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:url   back to top


NOTE biflow:url is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:url a owl:ObjectProperty ;
rdfs:label "url"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:volume   back to top


NOTE biflow:volume is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:volume a owl:ObjectProperty ;
rdfs:label "volume"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:volumeNumber   back to top


NOTE biflow:volumeNumber is a leaf node.

Description

Class Domain for:
biflow:Bibliography

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:volumeNumber a owl:ObjectProperty ;
rdfs:label "volumeNumber"@en ;
rdfs:domain biflow:Bibliography ;
rdfs:isDefinedBy biflow: .

Object Property: biflow:work   back to top


NOTE biflow:work is a leaf node.

Description

Class Domain for:
biflow:Expression

Class Range for:
biflow:Work

Implementation:

@prefix biflow: <http://mizar.unive.it/catalogo_biflow/rdf/biflow#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

biflow:work a owl:ObjectProperty ;
rdfs:label "work"@en ;
rdfs:domain biflow:Expression ;
rdfs:isDefinedBy biflow: ;
rdfs:range biflow:Work .


Ontology documentation automatically generated by Ontospy on 28th June 2021 14:30