Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Property ... has no rdf:type #885

Closed
janCstoffregen opened this issue Jun 11, 2018 · 8 comments
Closed

Property ... has no rdf:type #885

janCstoffregen opened this issue Jun 11, 2018 · 8 comments
Assignees
Labels
API/V2 bug something isn't working
Milestone

Comments

@janCstoffregen
Copy link

Dear dhlab,
I imported some data with the following xml and got the message in Knora performing the following request

http://0.0.0.0:3333/v2/ontologies/allentities/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0044%2Fconcept%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0048%2Fhuman%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0051%2Forganization%2Fv2/http%3A%2F%2Fapi.knora.org%2Fontology%2Fknora-api%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0040%2Fagent%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F004C%2Finformation-carrier%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F004F%2Flanguage%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0055%2Fphysical-resource%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0056%2Fpublishing%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0057%2Fscholasticism%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F0059%2Ftext%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F005A%2Ftext-editing%2Fv2/http%3A%2F%2F0.0.0.0%3A3333%2Fontology%2F005B%2Ftext-structure%2Fv2

error:

knora_1        | [2018-06-11 13:10:04,444] ERROR - KnoraService(akka://webapi) - Unable to run route /v2/ontologies/allentities/http:%2F%2F0.0.0.0:3333%2Fontology%2F0044%2Fconcept%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F0048%2Fhuman%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F0051%2Forganization%2Fv2/http:%2F%2Fapi.knora.org%2Fontology%2Fknora-api%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F0040%2Fagent%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F004C%2Finformation-carrier%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F004F%2Flanguage%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F0055%2Fphysical-resource%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F0056%2Fpublishing%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F0057%2Fscholasticism%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F0059%2Ftext%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F005A%2Ftext-editing%2Fv2/http:%2F%2F0.0.0.0:3333%2Fontology%2F005B%2Ftext-structure%2Fv2
knora_1        | org.knora.webapi.InconsistentTriplestoreDataException: Property http://0.0.0.0:3333/ontology/0044/concept/v2#isPartOf has no rdf:type

xml:

<?xml version="1.0" encoding="UTF-8"?>

<!-- 
    IMPORTANT: if the ontology/project has a short code for the project, then you have to add it into the declaration of the namespace, like this:
    http://api.knora.org/ontology/<project short code>/<project name>/xml-import/v1#
-->

<knoraXmlImport:resources 
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    
    xmlns:drcs="http://api.knora.org/ontology/0046/drcs/xml-import/v1#"
    
    xmlns:agent="http://api.knora.org/ontology/0040/agent/xml-import/v1#"
    xmlns:concept="http://api.knora.org/ontology/0044/concept/xml-import/v1#"
    xmlns:event="http://api.knora.org/ontology/0047/event/xml-import/v1#"
    xmlns:human="http://api.knora.org/ontology/0048/human/xml-import/v1#"
    xmlns:information-carrier="http://api.knora.org/ontology/004C/information-carrier/xml-import/v1#"
    xmlns:language="http://api.knora.org/ontology/004F/language/xml-import/v1#"
    xmlns:organisation="http://api.knora.org/ontology/0051/organisation/xml-import/v1#"
    xmlns:physical-geography="http://api.knora.org/ontology/0054/physical-geography/xml-import/v1#"
    xmlns:physical-resource="http://api.knora.org/ontology/0055/physical-resource/xml-import/v1#"
    xmlns:publishing="http://api.knora.org/ontology/0056/publishing/xml-import/v1#"
    xmlns:scholasticism="http://api.knora.org/ontology/0057/scholasticism/xml-import/v1#"
    xmlns:text="http://api.knora.org/ontology/0059/text/xml-import/v1#"
    xmlns:text-editing="http://api.knora.org/ontology/005A/text-editing/xml-import/v1#"
    xmlns:text-structure="http://api.knora.org/ontology/005B/text-structure/xml-import/v1#"
    xmlns:knoraXmlImport="http://api.knora.org/ontology/knoraXmlImport/v1#"
    
    xmlns="http://api.knora.org/ontology/0046/drcs/xml-import/v1#"
    xsi:schemaLocation="http://api.knora.org/ontology/0046/drcs/xml-import/v1# drcs.xsd">
    
   <!-- IMPORTANT: sub-elements of elements/resources must be alphabetically ordered -->
    
   <!-- References resources -->
   
    <human:Male id="scotusMale">
        <knoraXmlImport:label>scotusMale</knoraXmlImport:label>
    </human:Male>
    
    <human:Floruit id="scotusFloruit">
        <knoraXmlImport:label>scotusFloruit</knoraXmlImport:label>
        <human:p0047-event__hasEndDate knoraType="date_value">GREGORIAN:1308</human:p0047-event__hasEndDate>
        <human:p0047-event__hasStartDate knoraType="date_value">GREGORIAN:1302</human:p0047-event__hasStartDate>
    </human:Floruit>
    
    <human:PersonLife id="scotusLife">
        <knoraXmlImport:label>scotusLife</knoraXmlImport:label>
        <human:p0047-event__hasEndDate knoraType="date_value">GREGORIAN:1308</human:p0047-event__hasEndDate>
        <human:p0047-event__hasStartDate knoraType="date_value">GREGORIAN:1265</human:p0047-event__hasStartDate>
    </human:PersonLife>
    
    <text:Author id="scotusAuthor">
        <knoraXmlImport:label>scotusAuthor</knoraXmlImport:label>
    </text:Author>
    
    <text:Author id="jacobusAuthor">
        <knoraXmlImport:label>jacobusAuthor</knoraXmlImport:label>
    </text:Author>
    
    <!-- Main resources -->
    
    <drcs:Person id="scotus">
        <knoraXmlImport:label>Johannes Duns Scotus</knoraXmlImport:label>
        <drcs:hasStegmuellerPersonDescription knoraType="richtext_value">Natus 1265 in Maxton prope Roxburgh in Scotia, ordinem OM intravit in Dumfries c. 1280; sacerdos ordinatus in Northampton 1291 mart. 17; 1293–1296 studuit Parisiis sub magistro Gonsalvo de Balboa OM; 1296 Oxoniae sub magistro Guilelmo Ware; c. 1298–1300 legit Sentenias Oxoniae; circa finem 1302 usque ad 25. iun. 1303 legit super I et IV Parisiis; 1303/04 Oxoniam reversus; 1304 mense Septembris Parisius reversus; 1305 magister regens Parisiis; 1307 Coloniam missus est, ibique obiit 8. Nov. 1308. F. Pelster, Duns Scotus nach englischen Hss. Z.f.k.Th. 51 (1927) 65. F. Pelster, Handschriftliches in Duns Scotus. Franzisk. Studien 10 (1923) 1–32. A. Pelzer, Le premier livre des Reportata Parisiensia. Annales de l’Institut Supérieur de Philosophie 5 (1924) 447–492. K. Balic, Les Gommentaires de Jean Duns Scot. Bibliotheque de la Revue d’Histoire Ecclesiastique, Fasc. 1 (1927). Stephan Simonis, De vita et operibus b. Joh. Duns Scoti iuxta litteraturam ultimi decennii. Antonianum 3 (1928) 451–484. P. Minges, Die skotist. Literatur des 20. Jahrhunderts. Franzisk. Studien 4 (1917) 49–69; 177–198. E. Longpré. Nouveaux manuscrits des Reportations de Duns Scot. Wiss. Weish. 2 (1935) 229–236. [Rottenburg, Seminar H 13: II Oxon; Prag, Kapitel 439; Venezia, Marciana III 230 (2177); Padova Antoniana 175]. (C. Balic), Ratio criticae editionis operum omnium J. Duns Scoti. Relatio a Commissione scotistica exhibita Capitulo generali FF. MM. Assisii 1939 celebrando. Roma 1939. A. Callehaut, AFH 21 (1928) 206–239; 418–419; 608–611. C. R. S. Harris, Duns Scotus I/II, Oxford 1927 (II 361–401 exhibet textus ineditos); P. Glorieux, Duns Scot et les Notabilia Cancellarii. Arch. Franc. Hist. 24 (1931) 3–14: 305–329. V. Doucet, Arch. Franc. Hist. 26 (1933) 246–247 (de Clm 8717); 27 (1934) 561. E. Longpré, Le ms. 139 de la cathedrale de Valencia. Etude sur les reportations de Duns Scot. Revue neoscol. de Philos. 36 (1934) 437–458. C. Balic, Annua relatio Commissionis scotisticae anno II (1939/40). 1941.</drcs:hasStegmuellerPersonDescription>
        <drcs:p0048-human__hasAlias knoraType="richtext_value">Doctor Subtilis</drcs:p0048-human__hasAlias> <!-- not in the original Lombardus data, just for testing -->
        <drcs:p0048-human__hasBiologicalSex>
            <human:BiologicalSex knoraType="link_value" linkType="ref" target="scotusMale"/>
        </drcs:p0048-human__hasBiologicalSex>
        <drcs:p0048-human__hasBirthDate knoraType="date_value">GREGORIAN:1265</drcs:p0048-human__hasBirthDate>
        <drcs:p0048-human__hasDeathDate knoraType="date_value">GREGORIAN:1308</drcs:p0048-human__hasDeathDate>
        <drcs:p0048-human__hasFloruit>
            <human:Floruit knoraType="link_value" linkType="ref" target="scotusFloruit"></human:Floruit>
        </drcs:p0048-human__hasFloruit>
        <drcs:p0048-human__hasLife>
            <human:PersonLife knoraType="link_value" linkType="ref" target="scotusLife"></human:PersonLife>
        </drcs:p0048-human__hasLife>
        <drcs:p0048-human__hasName knoraType="richtext_value">Johannes Duns Scotus</drcs:p0048-human__hasName>
        <drcs:p0048-human__hasRole>
            <human:Role knoraType="link_value" linkType="ref" target="scotusAuthor"></human:Role> 
        </drcs:p0048-human__hasRole>
        <!-- RDF Triple "Scotus - cathord:isMemberOf - cathord:Franciscans" => not yet implemented in the ontology, I leave it for now 
            <drcs:human__isMemberOfGroup>
            <human:Group knoraType="link_value" linkType="ref" target="" ></human:Group>  
            </drcs:human__isMemberOfGroup>
        -->
    </drcs:Person>
    
    <drcs:Commentary id="ordinatio">
        <knoraXmlImport:label>Ordinatio</knoraXmlImport:label>
        <drcs:hasStegmuellerCommentaryDescription knoraType="richtext_value">Johannes Duns Scotus, Opus Oxoniense, I–IV. Ed. Wadding, Lyon 1639; Ed. Vives, Opp. 8–21, Paris 1893/4. v. nr. 431,2.\r\nAssisi, Comunale 137: I-IV [II: Circa secundum librum, in quo tractat Magister de Deo quantum ad causalitatem eius; III: Circa incarnationem quaero primo; IV [Samaritanus ille piissimus]; 164: IV; 190: II;.\r\nBasel A I 5: I; B I 19: IV; B I 20 f. 13–73: II-III; Berlin, Staatsbibl. TheoL Fol. 634: IV [Expl: in aeterna beatitudine firmavit. Ad quam etc.]; Theol. Fol. 657: I–III [I: Utrum homini etc.; II: Creationem\r\n– In hoc secundo tractat Magister de Deo quantum ad causalitatem triplicis causae; III: Circa incarnationem quaero primo de possibilitate: Utrum possibile fuerit, naturam humanam uniri Verbo in unitate suppositi. Quod non. Actus purus]; Bologna, Archiginnasio A 210: III [Circa incarnationem quaero primo de possibilitate]; Universita 2237: I; 2507: I; Collegio di Spagna 36: I; 37: IV; Budapest, Nationalmuseum Széchényi 105 (1971 Fol. Lat.) f. 1–103: III [Circa incarnationem quaero primo de possibilitate: Utrum possibile fuerit etc.].\r\nCambridge, Univ. F f. II 41: II; F f. III 14:7II; F f. III 15: IV; F f. III 26: I; Gonville and Caius College 49 (26): I; 275 (507): IV; 285 (678): IV; 287 (680): I–II; 296 (690): II-III; 298 (337): I; 307 (375): II; Pembroke 255: II; Peterhouse 1–6: IV; 1–7: IV. Canterbury, Chapter A 9: I; A 13: I; III; B 1: I V; Cesena, Malatestiana 17. dext. 2: I; 17 dextr. 3: II-III; 17 dextr. 4: IV. Erfurt CA 2º 121 f. 1–94: I; CA 2^0 130 f. 1–191: IV [Scriptus a Conrado de Hammersleve, Parisius 1314; Inc: Samaritanus ille piissimum spoliatum videns hominem ab Jerusalem in Jericho descendentem, in latrones impios incidisse; – Primo ergo quaeritur in communi: An creatura possit habere aliquam actionem respectu termini creationis; Utrum haec sit ratio definitiva sacramenti, quam ponit Magister: Sacramentum est invisibilis gratiae visibilis forma]; Edinburgh, Univ. 116 (XIV): I–II. Firenze, Naz. Conv. Sopp. E 5. 994: I; Firenze, Laurenziana XXXI dext. 2: I (Utrum homini etc.); XXXI dext. 3: I; XXXI dext. 5: II [Circa creationem – In hoc secundo tractat Magister de Deo quantum ad causalitatem; Expl: ita est a Deo, quoniam ex ipso etc.]; XXXI dext. 6: III-IV [III: Circa incarnationem quaero primo de possibilitate: Utrum possibile fuerit, naturam humanam uniri Verbo in unitate suppositi; Expl: onus meum leve; IV: Samaritanus ille piissimus etc.]; XX–15: I [cum additionibus]; XX–16: I [cum additionibus; Expl: ad finem ultimum]; Fesul. 148: I; Fesul. 149: II-III; Fesul. 150: IV. Hereford P VI 5. Kolmar, Konsistorialbibl. 1935: I (Ludger Meier); Krakau, Staatsbibl. 157 f. 137–289: III; Kremsmünster 221: I [Cupientes – Circa prologum istius primi Sententiarum quaeruntur quinque. Primum est de necessitate huius doctrinae. Utrum scilicet necessarium sit homini pro statu isto aliquam doctrinam sibi supernaturaliter inspirari. Secundum spectat etc.].\r\nLambach 39: I–II (1448); 40: I (1433); 50: IV; 104: II [Circa secundum librum in quo, ut dictum est in lectione, tractat Magister de Deo quantum ad causalitatem ei primariam, et hoc specialiter circa causalitatem triplicis causae, quam habet respectu creaturae. Et primo quaero circa primam: Utrum primaria causalitas respectu omnis causabilium sit in tribus personis. Et intelligo omnium causabilium in quocumque esse].\r\nLondon, Brit. Museum, Royal 8 G 8 f. 1–96: I; f. 133–145: IV d. 46–49; 277 F 5 1 (15270) 11–190: I d. 1–7; 1 191–219: Additiones; 277 F 6 (15270) 141–206: I d. 8–48; 77 F 7 f. 1–223: III; 277 F 8 f. 2–269: IV d. 1–16. Lyon 460 (XV): III; 461 (XV): IV; 643: IV; 644: II.\r\nMarseille 254: IV; Melk 86 (123): II [Circa secundum librum, in quo, ut dictum est in lectione, tractat Magister etc.]; 445 (418): III; 446 (421): IV; Metz 38 (Cathedrale): JV (XIV); Montecassino 452 (XIV): Scotus I; III [I: Cupientes – Circa prologum primi libri quaeruntur quinque. Primum est de necessitate huius doctrinae. Secundum spectat ad genus causae formalis eiusdem; – Veteris\r\n– Circa istam distinctionem, ubi Magister agit de frui et uti, quaeruntur novem; – III: Cum venit – Postquam Magister determinavit de Deo quantum ad rationem suae naturalis perfectionis etc.].\r\nClm 42 f. 33–111: III; f. 112–238: I; f. 239–313: II [Initia correspondent Berlin, Staatsbibl. Theol. Fol. 657]; Clm 3834 f. 1–210: IV (scriptus 1423]: Clm 8717: II d. 1–14; 27–44; 18332 f. 1–104: I; 18333: II-III; 18334: IV.\r\nOxford, Bodleiana, Bodl. 286 (SC 2433): IV; Canonici misc. 414 (XV) f. 1–238: I; Rawlinson C 21 (XV) f. 1–166: I; Lincoln College 6: IV d. 1–6 q. 2; Merton College 3: I; 61: II; 62: III; 64: IV; 66: I; IV d. 1–43; New College 113: I–III; 114: IV; Oxford, Balliol College 202: I; 203: II-III; 204: IV; 208: II-III; 302 11–134: 303: IV. Padova, Antoniana 171: I–II; 172: I–II; 173: I–IV d. 13; 174: I; 175: II-III; 176: IV; 177: IV; 178: II; Padova, Univ. 1125: II-III; Museo Civico Clm 109 f. 1–94: I.\r\nParis, nat. lat. 3061 f. 1–123: I; f. 177–237: II; 3062: III–IV; 3063: II; 3114,1 f. 1–66: I; 1 87–149: II 3114: IV; 8918: I–II; 12332: IV; 14564: II-III; 15360: If–II [II: Circa secundum librum, in quo, ut dictum est in lectione, tractat Magister de Deo]; 15361: III–IV; 15854: III–IV; 15855: I; III; 15856: II; IV; 15857: I-III; 115858: IV; 17481: IV; 17482: IV; Arsenal 367: III; 525: III; Mazarine 881: I–III; 882: I; 883: II; 884: IV; 885: IV; Univ. 38: III–IV.\r\nPrag, Univ. 640 (IV C 13) f. 1–290: Anon. IV [Expl: iustae retributionis damnatio perpetua. Et sequitur ibidem de bonis angelis. Sic inquit bonos angelos aeternitate sive aeterna beatitudine firmavit. Ad quam etc.]; 1512: (VIII D 17): I [Cupientes – Circa prologum primi quaeruntur etc.]; 1713 (IX C 2): II; 1817 (X A 14): III.\r\nRoma, Convento S. Francesco (Trastevere) qu 18: IV; qu 19: II; Todi 70: I. Vaticana, vat. lat. 476: II; 871 f. 1–113: I; 873: I; 874: I; 875: I; 8761 1–226: I–II [II: Circa secundum librum, in quo, ut dictum est in lectione, tractat Magister de Deo quantum ad causalitatem eius primariam]; 877: I–II [II: Circa creationem – In hoc secundo tractat Magister etc.]; 878: I–II; 879 f. 1–12: II [Circa creationem – In hoc secundo, ut dictum est in lectione, tractat etc.]; 880: III; 881: IV; 882: I-IV; "83 f. 1–225; I–III; 884: I; 885; II; 886: II–III; 887; III-IV; 888: IF; 1121; II d. 1–3; Ottob. lat, 476: IV; Palat. lat. 993 f. 91–98: I d 39; 43–48; Ross. lat. 473: I; 474: II; 475: IV.\r\nVenezia, Marciana III 64 B (2449) f. 1–138: IV [Expl: retributionis damnatio. Et sequitur ibidem de bonis angelis ... beatitudine firmavit. Ad quam etc.]; VI 249 12469): I–III; Z. 109 (1954): IV; Z 284 (1680): I.\r\nWien, Nat. 1405: I; 1416: IV; 1423: I–II [I: Circa prologum primi libri quaeruntur quinque; II; Circa secundum librum, in quo, ut dictum est in lectione, tractat Magister etc.]; P 39: IV; 4360: III; 4368: III; 4628: IV; 4629: III; 1453 f. 125–133: I Prol. q. 2–4: Wien, Schotten 295 (335): II; Worcester, Cathedral F 39: II; III d. 16–40; F 60: I Cupientes – Circa prologum huius primi libri Sententiarum quaeruntur quinque. Primum de necessitate huius doctrinae, et spectat ad genus causae efficientis. Et est quaestio: Utrum necessarium sit homini pro statu isto aliquam doctrinam specialem supernaturaliter inspirari. Secundum spectat ad genus causae formalis. Et est quaestio: Utrum cognitio supernaturalis, necessaria viatori, tradita sit sufficienter in sacra Scriptura. Tertium, spectat ad genus causae materialis. Et est quaestio: Utrum theologia sit e Deo tamquam de subiecto primo. Quartum et quintum, pertinent ad causae finalis. Et est quarta quaestio: Utrum theologia sit practica. Va vero quaestio: Utrum ex ordine ad praxim ut ad finem dicatur per se scientia practica. Utrum homini pro statu isto sit necessarium aliquam doctrinam specialem supernaturaliter inspirari, ad quam non possit attingere lumine naturali intellectus. Videtur, quod non; sic: Omnis potentia habens aliquod commune pro primo obiecto naturali, potest in quodlibet contentum sub illo, sicut in per se obiectum naturale ... necessario concludat distinctionem formalem notitiarum [Prol. q. 1–4]. – Veteris – Circa distinctionem primam, in qua Magister tractat de frui et uti, quaero primo de obiecto ipsius frui. Et primo: Utrum per se obiectum fruitionis sit finis ultimus. Et arguitur, quod non. Quia secundum Augustinum 83. Quaest. q. 30 fruendum est bonis invisibilibus ... propter indeterminatam inclinationem ad quamcumque [d. 1 q. 1]. – Utrum ultimus finis habeat tantum unam rationem fruibilitatis, an in ipso sit aliqua distinctio, secundum quam voluntas possit eo frui secundum unam rationem et non secundum aliam. Et quod sit in eo talis distinctio, probo. Quia I Eth. c. 7: Amplius autem [d. 1 q. 2]. – Hoc itaque – Circa distinctionem secundam quaero primo de his quae pertinent ad unitatem Dei. Et primo: Utrum in entibus sit aliquid actu existens infinitum. Quod non, sic arguitur. Si unum contrariorum esset in natura actu infinitum [d. 2 q. 1]. – Nunc vero – Circa istam distinctionem decimam, quaero unum, scilicet: Utrum Spiritus sanctus producatur per modum, voluntatis. Quod non. Quia natura est vis insita rebus ex similibus similia procreans [d. 10 q. 1]. Expl: bonitas autem voluntatis non dependet a solo obiecto, sed ab aliis omnibus circumstantiis, et potissimum a fine. Propter quod notandum est, quod omnis nostra volitio potissimum ordinata est ad finem ultimum, qui est alpha et omega, principium et finis, cui sit honor et gloria in saecula saeculorum. II [Circa] Creationem – In hoc secundo, ut dictum est in lectione, tractat Magister de Deo, quantum ad causalitatem eius primariam. Et hoc specialiter circa causalitatem triplicis causae, quam habet respectu creaturae. Quaero primo circa hoc: Utrum prima causalitas respectu omnium causabilium de necessitate sit in tribus personis. Et intelligo respectu omnium causabilium in quocumque esse; et hoc de necessitate, ita quod non possit esse, nisi sit in tribus personis. Quod non. Ricardus De trinitate 1. 3 c. 16: Si tantum esset una persona, adhuc esset in ea plenitudo potentiae et sapientiae ... ad unam productionem quam ad aliam [d. 1 q. 1]. – Utrum Deus possit aliquid creare. – Videtur, quod non. Quia si aliquid producitur, quod non prius producebatur [d. 1 q. 2]. – De angelica – Circa distinctionem secundam, ubi agit Magister de loco creationis angeli et tempore quando creabatur, quaero primo de duobus. Primo de mensura durationis existentiae angelorum; et secundo de loco angeloram. Quantum ad primum quaero primo: Utrum in existentia actuali angeli sit aliqua successio formaliter. Quod non. Quia quantitas non potest recipi [d. 2 q. 1]. – Hoc etiam – Circa distinctionem decimam, ubi quaerit Magister de missione angelorum, quaero: Utrum omnes angeli mittantur. Quod non. Dan. 7. Cap.: Millia millium ministrabant ei [d. 10 q. 1]. Expl: sed ut dicit fundamentum proximum huius ordinis, est aliquid ipsius. Sicut autem ista potestas est aliquod ens positivum, ita est a Deo; quoniam ex ipso et in ipso et per ipsum sunt omnia. Cui sit honor et gloria in saecula saeculorum. III Cum venit – Postquam Magister in primo libro determinavit de Deo, quantum ad rationem suae naturalis perfectionis, ut generare et spirare et in secundo libro determinavit de ipso, in quantum eius perfectio relucet in operibus creationis, in hoc tertio determinat de Deo, in quantum perfectio relucet in operibus restaurationis. Et circa primam distinctionem huius tertii quaeruntur quinque. Primo: Utrum possibile fuerit, naturam humanam uniri Verbo in unitate suppositi. Secundo: Utrum tres personae possint assumere eandem naturam numero. Tertio: Utrum una persona possit assumere plures naturas. Quarto: Utrum suppositum creatum possit identificare hypostatice aliam naturam creatam. Quinto: Utrum formalis ratio terminandi istam unionem sit proprietas relativa. Circa primum arguitur, quod non. Quia actus purus et infinitus non est alicui componibilis ... talis est ista dependentia [d. 1 q. 1]. Utrum tres personae possint assumere eandem naturam numero. Circa secundum arguitur, quod sic. Haec natura antequam assumatur [d. 1. q. 2]. Et quia – Circa distinctionem secundam, in qua Magister agit de modo assumendi naturam, quaeruntur tria. Primo: Utrum naturam humanam uniri Deo hypostatice et tamen non frui, includat contradictionem [d. 2 q. 1]. Solet etiam – Circa istam decimam distinctionem, in qua Magister agit de communicatione idiomatum respicientium personam Filii, quaeritur unum de communicatione idiomatum ad nobilitatem pertinentium: Utrum scilicet Christus sit Filius Dei adoptivus. Videtur, quod sic. Quia Christus est praedestinatus esse Filius Dei [d. 10 q. 1]. Expl: amor autem et praecipue finis, si ille quaeratur in omnibus, facit omnia onera levia, ut verum sit, quod dixit salvator Matth. 21: Venite ad me; sequitur: Iugum enim meum suave est, et onus meum leve. Cui sit laus, honor et gloria per infinita saecula saeculorum. IV Samaritanus – Samaritanus ille piissimus spoliatum videns hominem et atrociter sauciatum, miserationis affectu compatiens, medicinam intulit efficacem, qua, curatis ipsius vulneribus ac plena reddita sanitate, in sui principium, a quo descendens ab Jerusalem deviaverat, finaliter reducatur. Primo quaeritur in communi: An creatura possit habere aliquam actionem respectu termini creationis. Secundo de propria ratione sacramenti et eius institutione. Tertio ex istis: Si sacramentum potest habere respectu gratiae reandae aliquam causalitatem. Ad primum, sic proceditur. Et arguitur, quod creatura possit habere actionem respectu termini creationis. Primo, quia Augustinus super Joh. hom. 80 et ponitur in can. 1 q. 1 Detrahe: Quae est ista virtus aquae ... sine virtute Dei principalis agentis, ideo non valet [d. 1 q. 1]. Utrum haec sit ratio definitiva sacramenti, quam ponit Magister: Sacramentum est invisibilis gratiae visibilis forma. Quod non, videtur. Quia definitio non est nisi eius, quod est per se unum [d. 1 q. 2]. – Iam ad – In prima distinctione egit Magister de sacramento legis Mosaicae et legis naturae. In hac secunda distinctione incipit agere de sacramentis novae legis. Haec pars dividitur in duas partes. Circa hanc distinctionem quaero: Utrum sacramenta novae legis habeant efficaciam a Christi passione. Et videtur, quod non. Quia 5. Metaph. et 2 Phys. dicitur, quod causa in actu et effectus in actu simul sunt [d. 2. q. 1]. Sunt item – Hic incipit distinctio decima. In qua Magister excludit errorem quorundam de re huius sacramenti. Qui scilicet negabant verum corpus Christi. Est ergo prima quaestio: Utrum possibile sit, corpus Christi sub specie panis et vini realiter contineri. Videtur, quod non. Quia sub specie panis non consecrati [d. 10 q. 1]. – Post haec – Postquam Magister determinavit de sacramento baptismi et confirmationis et eucharistiae, hic</drcs:hasStegmuellerCommentaryDescription>
        <drcs:p0059-text__hasAlias knoraType="richtext_value">Ordinatio</drcs:p0059-text__hasAlias>
        <drcs:p0059-text__hasAuthor>
            <human:Person knoraType="link_value" linkType="ref" target="scotus"></human:Person>
        </drcs:p0059-text__hasAuthor>
        <drcs:p0059-text__hasTitle knoraType="richtext_value">Opus Oxoniense (Ordinatio)</drcs:p0059-text__hasTitle>
    </drcs:Commentary>
    
    <drcs:Person id="jacobus">
        <knoraXmlImport:label>Jacobus de Aesculo</knoraXmlImport:label>
        <drcs:p0048-human__hasName knoraType="richtext_value">Jacobus de Aesculo</drcs:p0048-human__hasName>
        <drcs:p0048-human__hasRole>
            <human:Role knoraType="link_value" linkType="ref" target="jacobusAuthor"></human:Role> 
        </drcs:p0048-human__hasRole>
    </drcs:Person>
   
</knoraXmlImport:resources>

Version information - Github hashes and docker hub tags

This information is just for documentation purposes, please move on to the next section to start docker-compose.

Any help would be much appreciated.
Thank you so much and best regards,
Jan

@benjamingeer
Copy link

I'm going to guess it's because of this:

concept:isPartOf
	a owl:ObjectProperty, owl:TransitiveProperty;

If you remove owl:TransitiveProperty, does it work?

@benjamingeer benjamingeer self-assigned this Jun 11, 2018
@benjamingeer benjamingeer added the bug something isn't working label Jun 11, 2018
@benjamingeer benjamingeer added this to the v1.6.0 milestone Jun 11, 2018
@janCstoffregen
Copy link
Author

ok, let me check

@janCstoffregen
Copy link
Author

The error message has changed, so that is probably what it is, I'll remove the transitive one from all ontologies and try it again.

@janCstoffregen
Copy link
Author

@benjamingeer
Copy link

Same thing:

physical:isPartOf
	a owl:ObjectProperty, owl:TransitiveProperty;

At the very least, this should give a better error message.

Do you actually need owl:TransitiveProperty, considering that Knora doesn't use it? Are you using OWL inference?

@janCstoffregen
Copy link
Author

ok, it works without the statement

owl:TransitiveProperty

I don't know if we use it, I'll check and let you know.

Thank you so much for your help!!

@janCstoffregen
Copy link
Author

We intend to use it in the future, we'll outcomment it for now and are very thankful that you added it to the milestone, thank you again!!

Best regards,
Jan

@benjamingeer
Copy link

No problem, it should be easy to fix. :)

benjamingeer pushed a commit that referenced this issue Jun 13, 2018
benjamingeer pushed a commit that referenced this issue Jun 13, 2018
* feature (gravsearch): Refactor type inspection to allow for type inference.

* refactor (gravsearch): Reuse type inspection runners.

- Clarify names.

* refactor (gravsearch): Refactor type inspection some more.

- Add comments.

* feature (gravsearch): Infer 'rdf:type knora-api:Resource' from a more specific rdf:type.

* feature (gravsearch): Allow type inference to infer complex schema types.

* feature (gravsearch): Short-circuit pipelines.

* feature (gravsearch): Infer object type of property IRI.

* feature (gravsearch): Infer entity type from knora-api:objectType.

* feature (gravsearch): Add more type inference rules.

- Infer the type of a subject from a predicate IRI.
- Infer the type of a property variable from its object.

* fix (webapi): Try to fix intermittent Travis file permission error.

* fix (webapi): Probably more correct Travis fix.

* feature (gravsearch): Infer the type of a property variable from a FILTER.

* test (gravsearch): Refactor type inference tests.

* test (gravsearch): Add more type inference tests.

* docs (gravsearch): Update docs and release notes.

* fix (gravsearch): Infer types of non-Knora properties.

* test (gravsearch): Add tests involving a non-Knora property.

* feature (gravsearch): Detect type inconsistencies.

- Infer XSD literal types from FILTER expressions.

* style (gravsearch): Fix comments.

* refactor (gravsearch): Use functional style instead of mutable collections.

* refactor (gravsearch): Refactor code for readability.

* test (gravsearch): Add a lot more tests of type inference.

- Rework docs on type inference.

* docs (gravsearch): Add another example.

* docs (gravsearch): Fix formatting.

* style (gravsearch): Clarify a few things.

* style (webapi): Fix comment.

* refactor (webapi); Make ReadValueV2 extend KnoraReadV2

* docs (webapi): Add more docs, including an FAQ.

* fix (webapi): Fix #885.

* docs (webapi): Update release notes.

* refactor (release notes)

* fix (webapi): Fix compile errors.

* test (gravsearch): Fix broken test.

* docs (webapi): Doc fixes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
API/V2 bug something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants