Вопросы по теме 'description-logic'

извлечение наиболее конкретных классов экземпляров
Возможно ли получить определение ресурса (из DBpedia) с помощью запроса SPARQL? Я хочу иметь что-то вроде TBox и ABox, которые показаны в (Conceptual) Методы кластеризации для Семантическая сеть: проблемы и приложения (слайды 10–11) . Например,...
1751 просмотров
schedule 29.04.2023

Разница в поддержке owl:hasValue и owl:oneOf в OWLMicroReasoner от Jena?
Я играю с получением типа экземпляра из информации о его значении, используя ограничения значения: :SpaceMission rdf:type owl:Class . :shuttleUsed rdf:type owl:ObjectProperty ; rdfs:domain :SpaceMission . :Apollo11 rdf:type...
976 просмотров

Объявлять как под-, так и супер-свойства в данных экземпляра или только под-свойства?
Если у меня есть простая онтология, включающая аксиому подсвойства: ex:hasChair rdfs:subPropertyOf ex:hasParticipant . Я хочу утверждать, что «Пол Пилл был председателем примера конференции, а Джек Джилл был участником примера конференции»....
51 просмотров

Описание Логика; обязательное участие
У меня есть концептуальная схема UML; и я хочу выразить это как онтологию DL. Классы UML фиксируются как концепции DL, где ассоциации фиксируются с помощью ролей. Одним из важных аспектов является множественность классов UML. Множественность к...
101 просмотров
schedule 13.10.2023

Можно ли делать утверждения свойств на уровне класса в OWL 2?
У меня есть онтология OWL 2, содержащая несколько именованных лиц, принадлежащих к классу, которым необходимо иметь одно и то же свойство объекта с одинаковым значением. Я хотел бы сделать это утверждение свойства «для класса» таким образом, чтобы...
2917 просмотров