From a0b838e29500d665c7c5144392f987af7cad4d2c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20K=C5=99emen?= Date: Thu, 11 May 2023 20:36:42 +0200 Subject: [PATCH] Fix removing extra extractor. --- src/main/resources/extractors.yml | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/main/resources/extractors.yml b/src/main/resources/extractors.yml index 46cc3ff..00949a2 100644 --- a/src/main/resources/extractors.yml +++ b/src/main/resources/extractors.yml @@ -12,13 +12,6 @@ versionInfoMatcher: ".*\\s+\\s+]*>([^<]+?).*" importsMatcher: "NOT_IMPLEMENTED" - - name: XMLOntologyHeaderExtractor - formatMatcher: ".*]* versionIRI=\"([^\"]+?)\".*" - versionInfoMatcher: ".*\\s+\\s+]*>([^<]+?).*" - importsMatcher: "NOT_IMPLEMENTED" - - name: TurtleHeaderExtractor formatMatcher: ".*((@prefix|@base).*)|.\\s*$" iriMatcher: "^.*<([^>]+)>\\s+(?:a|rdf:type)\\s+owl:Ontology.*$"