yuns

무료 오픈 소스 온톨로지 편집기 실습 - More On Open World Reasoning tutorial을 보고 실습을 진행해보고자 한다. VegetarianPizza와 대비되는?(complement of VegetarianPizza) NonVegetarianPizza 클래스를 만들어보도록 하자 여기서 reasoner을 실행시키면 VegetarianPizza에 없던 목록들이 NonVegetarianPizza에 생겨야되는데 계속해서 reasoner가 제대로 동작을 안 한다.ㅠ 일단.. 여기까지 적어놓고 처음부터 다시 튜토리얼을 따라 해보면서 빼먹은 부분이 없나 확인해보도록 하고 이후 포스팅을 이어가도록 하겠다. ++) 드디어 찾았다! 아래 사진의 두 Topping에 동시에 포함되게 하기 위해 생성한 P..

무료 오픈 소스 온톨로지 편집기 실습 - Datatype Properties tutorial을 보고 실습을 진행해보고자 한다. 앞서서, property가 object property, datatype property 두 가지로 나뉜다고 설명했다. Datatype property는 관계를 채우는 개인이 서로 다르다고 판단될 수 있는 경우에만 관계가 별도의 관계로 간주한다. pizza의 칼로리를 계산하는데 사용해보도록 하자. 이제 연결해보자. [Property assertions: ExampleMargherita] > [Data property assertions]에서 263을 입력해본다. Pizza의 [subclasses of]를 눌러서 [Data restriction creator]탭을 누르고, hasC..

무료 오픈 소스 온톨로지 편집기 실습 - Cardinality Restrictions and Qualified Cardinality Restrictions tutorial을 보고 실습을 진행해보고자 한다. Cardinality Restrictions Cardinality Restrictions: 최소/최대 혹은 정확히 구체적인 관계의 숫자를 정의할 수 있음 Maximum Cardinality Restriction: 참여할 수 있는 개인의 최대 갯수 Minimum Cardinality Restriction: 참여할 수 있는 개인의 최소 갯수 Cardinality Restriction specifies the exact number of P relationship that an individual must ..

무료 오픈 소스 온톨로지 편집기 실습 - Adding Spiciness to Pizza Toppings tutorial을 보고 실습을 진행해보고자 한다. PizzaToping에 hasSpiciness restriction을 추가해준다. JalapenoPepperTopping에 Hot 정보를 입력해줘보도록 한다. Appendix를 참고해서 subclass가 없는 Topping에 대해 맛을 추가해주도록 한다.(없거나 내용이 생략되어 있는 class도 존재했다..) Topping 정보 맵기 CheeseTopping > MozzarellaTopping Mild CheeseTopping > ParmezanTopping Mild MeatTopping > HamTopping - MeatTopping > Peppero..

무료 오픈 소스 온톨로지 편집기 실습 - Value Partitions tutorial을 보고 실습을 진행해보고자 한다. Value Partitions은 'design pattern'이다. Ontology에서의 design patterns은 객체 지향 프로그래밍의 디자인 패턴(design patterns in object oriented programming)과 유사하다. 또, 이는 일반적인 모델링 문제를 해결하기 위한 입증된 솔루션으로 인정받았다. SpicinessValuePartition이라는 이름을 가진 Value Partition을 생성해보도록 하자. (여기서는, PizzaTopping의 매운 정도를 나타내기 위함이다.) Value Partition은 나올 수 있는 범주를 exhaustive li..

무료 오픈 소스 온톨로지 편집기 실습 - Automated Classification and Open World Reasoning tutorial을 보고 실습을 진행해보고자 한다. SohoPizza와 MargheritaPizza의 토핑이 채식주의자를 위한 토핑인 것을 쉽게 눈치챌 수 있다. 그렇기 때문에 reasoner를 이용하면 두 피자가 VegetraianPizza가 되어야 한다. reasoner를 활성화 해서 이것이 성립되는지 확인해보자. 이미지에서 보듯이, CheesyPizza는 잘 들어가있는 것을 확인할 수 있는데 VegetarianPizza는 값이 잘 안 들어가있는 것을 확인할 수 있다. 이는, 어떤 것이 존재하지 않는다고 명시적으로 언급되기 전까지는 무언가가 존재하지 않는다고 가정할 수 없기..

무료 오픈 소스 온톨로지 편집기 실습 - Universal Restrictions tutorial을 보고 실습을 진행해보고자 한다. 정리: Universal Restriction은 property의 range에 범위에 대한 제한조건을 걸어준다고 이해를 했다. 앞서, [domain of property] -> [property] -> [range of property]이라고 언급했는데, range of property부분에서 domain of property는 range of property 내의 class만 포함해야 된다라는 것을 의미한다. 지난 시간에, existential restriction은 특정 클래스의 구성원인 개인에 대한 주어진 속성을 따라 적어도 하나의 관계의 존재를 지정한다고 언급했다. ..

무료 오픈 소스 온톨로지 편집기 실습 - Automated Classification tutorial을 보고 실습을 진행해보고자 한다. https://yunny-p.tistory.com/entry/protege-Ontology-Necessary-and-Sufficient-Conditions에서 보인 마지막 결과가 아래 이미지와 같다 [Protege 기초 실습8] Object Property - Necessary and Sufficient Conditions 무료 오픈 소스 온톨로지 편집기 실습 - Necessary and Sufficient Conditions tutorial에서 제공하는 튜토리올을 보고 실습을 진행해보고자 한다. Necessary Conditions 지금까지 생성한 모든 클래스는 클래스..