reasoning

0зной

1ответ

Как классифицировать людей в классе в соответствии с его мощностью

Я создал эту онтологию, которая содержит два класса: Car, Person и свойство объекта hasCar, у которого есть Person as domain и Car as range. Я хочу, чтобы классифицировать лиц (лица) в multiCarOwner и

3зной

1ответ

Удаление нежелательных ответов суперкласса в SPARQL

У меня есть файл OWL, который включает в себя таксономическую иерархию, в которой я хочу написать запрос, в котором ответ включает каждого человека и его непосредственного таксономического родителя. В

4зной

1ответ

Почему нет статического QDir :: makepath()?

Я знаю, что для создания нового пути в Qt из заданного абсолютного пути вы используете QDir::makepath() как dir.makepath(path), как это предлагается в this вопрос. У меня нет никаких проблем с его исп

1зной

1ответ

Как связать данные с объектом филиной собственностью связать человек

Я следующий онтологии <owl:Class rdf:about="http://www.semanticweb.org/POC#Person"/> <owl:Class rdf:about="http://www.semanticweb.org/POC#Vehicle"/> <owl:ObjectProperty rdf:about="http://www

0зной

1ответ

Объяснения Разуссера о несоответствии

Я использую код проекта owlexplanation Мэтью Хорридж на GitHub. Я получаю следующее объяснение несогласованности. Не могли бы вы рассказать мне, почему? Мой диапазон составляет 4-9, и я дал номер 5. В

0зной

1ответ

Как получить объяснение несогласованности с помощью проекта owlexplanation

У меня вопрос о проекте owlexplanation Мэтью Хорридж на GitHub. В файле README есть следующий код: import org.semanticweb.owl.explanation.api.*; import org.semanticweb.owlapi.model.*; import org.sem

0зной

2ответ

Как вы подтверждаете завершение рекурсивной длины списка?

Предположим, у нас есть список: List = nil | Cons(car cdr:List). Обратите внимание, что я говорю о модифицируемых списках! И тривиальная рекурсивная функция длины: recursive Length(List l) = match l