DL Query Parser

Question

В приведенном ниже коде я пытаюсь понять, как окончательно получено выражение класса, но не совсем понятное.

ShortFormProvider shortFormProvider = new SimpleShortFormProvider(); 
     ManchesterOWLSyntaxEditorParser parser = new ManchesterOWLSyntaxEditorParser(schema.getFactory(), query); 
     parser.setDefaultOntology(schema.getSchema()); 
     Set<OWLOntology> importsClosure = schema.getSchema().getImportsClosure(); 
     BidirectionalShortFormProvider bidiShortFormProvider = new BidirectionalShortFormProviderAdapter(schema.getSchema().getOWLOntologyManager(),importsClosure, shortFormProvider); 
     OWLEntityChecker entityChecker = new ShortFormEntityChecker(bidiShortFormProvider); 
     parser.setOWLEntityChecker(entityChecker);  
     OWLClassExpression classExpression; 
     classExpression = parser.parseClassExpression(); 

Я застрял в основном от поставщика shortformprovider и bidirectionalshortform. Какова их функция? Может ли кто-нибудь помочь мне понять это?

Answer 1

ShortFormProvider и BidirectionalShortFormProvider - это объекты, которые помогут вам обрабатывать аббревиатуры (шаблоны) URI. Например, http://www.example.org/Cat имеет Cat в качестве короткой формы. Краткие формы полезны для формулировки OWL-выражений компактным способом без использования префиксов URI.

Согласно документации:

ShortFormProvider: Короткий поставщик формы производит визуализации сущностей. Эти визуализации представляют собой строки, которые в общем случае могут использоваться для отображения и сериализации. У данного объекта есть только одна короткая форма для данного поставщика коротких форм. Однако короткая форма может отображаться для нескольких объектов для данного поставщика коротких форм. Другими словами, для данного поставщика коротких форм отображение от объекта к короткой форме является функциональным, но не является обратным функциональным, т.е. инъективным отображением.

BidirectionalShortFormProvider: Короткая форма поставщика, который способен переводить туда и обратно между субъектами и их коротких форм.