Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving

[Alex Shkotin]

http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_35

[Alex Shkotin]

Красота 2011! "We have translated a large fragment of the OWL 2 Full semantics into first-order logic, and used automated theorem proving systems to do reasoning based on this theory."

OWL 2 FOL

On Wednesday, 30 October 2013 17:06:29 UTC+4, Alex Shkotin wrote:

http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_35

[Yuriy Milov]

похоже, что мы в теме :-)

правда с той конференции уже два года прошло, но это не беда - догоним и перегоним! :-)

пусть они для нас машинки стрпоят-настраивают, а мы на них "Кря-рулит!"  будем гонять :-)

АУ обещал компилятор-компиляторов сделать (чтоб к диалектам легко подстраиваться было) но АУ молчит пока... слабо, что ль? ;-)

On Wednesday, October 30, 2013, Alex Shkotin wrote:

Красота 2011! "We have translated a large fragment of the OWL 2 Full semantics into first-order logic, and used automated theorem proving systems to do reasoning based on this theory."

On Wednesday, 30 October 2013 17:06:29 UTC+4, Alex Shkotin wrote:

http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_35

--
 
---
Вы получили это сообщение, поскольку подписаны на группу Контролируемый русский язык.
 
Чтобы отказаться от подписки на эту группу и перестать получать из нее сообщения, отправьте электронное письмо на адрес CoRuL+un...@googlegroups.com.
Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу Co...@googlegroups.com.
Перейдите в группу по ссылке http://groups.google.com/group/CoRuL.
Настройки подписки и доставки писем: https://groups.google.com/groups/opt_out.

--

--

Regards,
Yuriy Milov
http://www.quicklydone.com
1-647-765-4386

[Alex Shkotin]

Тут ближе другая присказка - везде наши люди:-)

30 октября 2013 г., 17:48 пользователь Yuriy Milov <ymi...@gmail.com> написал:

[Yuriy Milov]

это хорошо, что наши люди есть и за границей ;-)

а то обычно спрашивают с подозрением - а еще кто-нибудь этим занимается? 

и если никто "это" не делал раньше тебя, то твоя претензия на нечто единственное и неповторимое воспринимается не как начало большого пути, а как завышенную (мягко говоря) самооценку.

Но теперь есть на кого пальцем показать  - пусть теперь они ворочаются, а мы пристроимся хвостиком, как на велогонках. А если понадобится, то поднакопим силёнок и стуртанём перед финишем этапа ;-)

[Alex Shkotin]

Хуже. У нас вопрос всего один - когда отобьём деньги?

30 октября 2013 г., 21:30 пользователь Yuriy Milov <ymi...@gmail.com> написал:

[Yuriy Milov]

не за деньги и славу - за державу обидно (с)

если не мы - то кто и когда?

время - деньги

стартанём чють раньше - и "нас не догонят" (с)