Порядок моделирования в онтологии OWL-DL

Поскольку по умолчанию порядок последовательностей в онтологии OWL не поддерживается. Как я могу смоделировать последовательность в онтологии OWL-DL?


sequence ontology owl
person Ali Ahmad    schedule 03.08.2012    source источник
comment
Не было ли в документах, найденных при поиске последовательности dl owl, ничего, что можно было бы использовать? например ceur-ws.org/Vol-216/submission_12.pdf   -  person Ian Mercer    schedule 03.08.2012
comment
У меня две путаницы, когда двое используют rdf-list и owl-list, а jena поддерживает rdf-list и owl-list.   -  person Ali Ahmad    schedule 03.08.2012

Ответы (2)


arrow_upward
3
arrow_downward

Один из способов смоделировать последовательность и упорядочить ее элементы - просто ввести свойство hasNext для определения порядка последовательности:

Class: SequenceItem
    EquivalentTo: 
        hasNext only SequenceItem

ObjectProperty: hasNext 
    Domain: 
       SequenceItem
    Range: 
       SequenceItem
    InverseOf:
       hasPrevious

Затем, предполагая, что элементы, которые вы хотите упорядочить по порядку, представлены как экземпляры, вы можете зафиксировать их порядок в следующей последовательности:

SequenceItem: item_1
    hasNext: 
         item_2
person Jeen Broekstra    schedule 11.08.2012

arrow_upward
0
arrow_downward

OWL позволяет указать, например:

  • каждый элемент следует не более чем за одним элементом.
  • за каждым элементом следует не более одного элемента.
  • каждый первый элемент - это элемент, который не следует за элементом.
  • Item1 - это элемент, за которым следует Item2.
  • ...

Эти утверждения позволяют описывать последовательности (возможно, неограниченные, т.е. с бесконечной моделью).

(Вышеупомянутые операторы были написаны в ACE, используйте синтаксический анализатор ACE, чтобы преобразовать их в OWL, где item становится class, follows становится свойством объекта, а Item1 и Item2 - отдельными лицами.)

person Kaarel    schedule 23.08.2012
comment
Вы можете привести пример этих утверждений? - person kurious; 06.04.2016
comment
Можете уточнить, что вам нужно. Утверждения действительно образуют пример онтологии OWL (выраженной в ACE), модели которой представляют собой определенные последовательности. - person Kaarel; 06.04.2016