Der auf diese halb-formale Art entworfene Kern von Intertextualität lässt sich nicht mit allen formalen Methoden repräsentieren. <hi xmlns="http://www.tei-c.org/ns/1.0" rend="inline-comment-marker" xml:space="preserve"> Zur Formalisierung von Intertextualität ist ein Ausdrucksmittel von Relationalität erforderlich. Damit scheidet die Aussagenlogik aus und es muss auf eine Prädikatenlogik zurückgegriffen werden. Die allgemeine Prädikatenlogik erster Stufe ist wiederum ausdrucksstärker als für unser Vorhaben nötig. Als ausreichend ausdrucksstark erweist sich die Beschreibungslogik, die in einfacher Ausprägung im Wesentlichen der Prädikatenlogik entspricht mit der Einschränkung auf ein- und zweistellige Prädikate (vgl. Baader at al., Hg. 2010, Harmelen et al., Hg. 2008).</hi> Für sie steht in RDF eine Implementierung zur Verfügung. Wir geben hier nur ein Beispiel für eine in RDF notierte intertextuelle Relation (für ihre Form) und verweisen für die Ontologie in RDFS/OWL auf unser Github-Repository.<ref xmlns="http://www.tei-c.org/ns/1.0" n="1" target="ftn1" />