BUILD DEVELOPMENT ENVIRONMENT

Transcription

1 상황인지사례와시맨틱기술 (2)

2 BUILD DEVELOPMENT ENVIRONMENT Protégé Jena

3 1. Environment 2. Install 3. Building an Ontology project

4 Semantic Software Development Environment Source: John Hebeler, etc, Book: Semantic Web Programming

5 Setting Protégé Protégé is a free, open source ontology editor Download Jena Jena is a Java framework for building Semantic Web applications. Download

6 Protégé Is a knowledge modelling environment Is free, open source software Is developed by Stanford / Manchester Has a large user community (approx 30k) Protégé 4 built solely on OWL modelling language Supports development of plugins to allow backend / interface extensions

7 OWL Constructs Overview Person Country Holger S.Claus Elvis Kylie Hai Belgium Paraguay Latvia China Class (concept, category, type) Individual (instance) Flipper Rudolph Animal arrow = relationship label = Property

8 Subsumption Superclass/subclass relationship, is-a All members of a subclass can be inferred to be members of its superclasses B A Thing: superclass of all OWL Classes A subsumes B A is a superclass of B B is a subclass of A All members of B are also members of A

9 Disjointness (1/2) OWL assumes that classes overlap FruitTopping VegetableTopping = individual This means an individual could be both a VegetableTopping and a FruitTopping at the same time We want to state this is not the case

10 Disjointness (2/2) we state that classes are disjoint FruitTopping VegetableTopping = individual This means an individual cannot be both a FruitTopping and a VegetableTopping at the same time We must do this explicitly in the interface How about TomatoTopping?

11 OWL Properties 식품이력제공서비스 Data-type Property Annotation Property

12 Properties e.g., haspart, isinhabitedby, isnextto, occursbefore Object Properties are used to relate Individuals We often say that Individuals are related along a given property Relationships in OWL are binary: Subject predicate Object Individual a hasproperty Individual b simon_jupp givestalk k-cap_tutorial_2009

13 Types of Properties Inverse hasparent Dorothy haschild 식품이력제공서비스 hasbirthmother Peggy Dorothy Implies that Peggy and Margaret are the same individual Margaret

14 Other Types of Properties in OWL Inverse Functional Transitive Symmetric Asymmetric Reflexive Irrefelxive

15 Intersection Classes Intersection Classes are formed by combining two or more classes with the intersection (AND) operator. Human Male Intersection of Human and Male

16 Union Classes aka disjunction This OR That OR TheOther A or B includes all individuals of class A and all individuals from class B and all individuals in the overlap (if A and B are not disjoint) A B Commonly used for: Covering axioms Closure

17 Complement Classes A complement class is specified by negating another class. It will contain the individuals that are not in the negated class Woman Professor Woman and (not Professor)

18 DeMorgan s Law not (A and B) = not A or not B not (A or (B and C) = not A and not (B and C) = not A and (not B or not C) not (hastopping some X) = hastopping only (not X)

19 More Information about OWL W3C OWL Web Site CO-ODE Web Site Protege-OWL Web Site

20 1. Environment 2. Install 3. Building an Ontology project

21 Protégé Install ( 1 / 7 ) Click

22 Protégé Install ( 2 / 7 ) Click

23 Protégé Install ( 3 / 7 ) Click Click

24 Protégé Install ( 4 / 7 ) Click

25 Protégé Install ( 5 / 7 ) Click

26 Protégé Install ( 6 / 7 ) Click

27 Protégé Install ( 7 / 7 ) 실행

28 Jena Install ( 1 / 5 ) Click

29 Jena Install ( 2 / 5 ) Click

30 Jena Install ( 3 / 5 ) Click

31 Jena Install ( 4 / 5 ) Eclipse setting Eclipse Start File Properties Click Click

32 Jena Install ( 5 / 5 ) Eclipse setting Add External JARs 버튼클릭 Jena 2.6.4/lib 로접근 모든 jar 파일선택후열기버튼클릭 Click Click

33 1. Environment 2. Install 3. Building an Ontology project

34 Start protégé ( 1 / 8 ) Click

35 Start protégé ( 2 / 8 )

36 Start protégé ( 3 / 8 )

37 Start protégé ( 4 / 8 ) Guide To Building OWL Ontologies Using Protégé A step-by-step guide to modelling in OWL using the popular Protégé OWL tools. Tutorial

38 Start protégé ( 5 / 8 ) Classes Tab

39 Start protégé ( 6 / 8 ) Object Properties Tab

40 Start protégé ( 7 / 8 ) Data Properties Tab

41 Start protégé ( 8 / 8 ) Individuals Tab

42 Start Jena ( 1 / 8 ) What is Jena? Ontology Model API Reasoning Model = Triple Set <rdf:rdf xmlns= ticweb.org/ontologies/20 09/11/Ontology owl# </rdf:rdf> Parsing/Loading Hard to process Processing Processing API Query easy to process Class List Propert y List Individu allist

43 Start Jena ( 2 / 8 ) Creating Ontology Model Default Creation OntModel base = ModelFactory.createOntologyModel(? );

44 Start Jena ( 3 / 8 ) Load Ontology Model Remote ontology String SOURCE = " OntModel base = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM ); base.read( SOURCE, "RDF/XML" ); Local ontology String SOURCE = file: ontology/pizza.owl"; OntModel base = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM ); base.read( SOURCE, "RDF/XML" );

45 Start Jena ( 4 / 8 ) Class Get Class String NS = base.getnsprefixmap().get(""); Resource r = base.getresource(ns + "Pizza"); OntClass pizza = (OntClass)r.as(OntClass.class); pizza = base.getontclass(ns + "Pizza"); Create Class base.createclass(ns + "TestPizza1"); base.createclass(ns + "testpizza2"); for(extendediterator<ontclass> i = base.listclasses(); i.hasnext();) { OntClass c = (OntClass)i.next(); System.out.println(c.getURI()); }

46 Start Jena ( 5 / 8 ) Property Get Property Property prop = base.getproperty(ns + "hasbase"); OntProperty ontprop = (OntProperty)prop.as(OntProperty.class); OntProperty hasbase = base.getobjectproperty(ns + "hasbase"); Create Property ObjectProperty testproperty = base.createobjectproperty(ns + "testproperty"); testproperty.adddomain(base.getontclass(ns + "Pizza")); testproperty.addrange(base.getontclass(ns + "PizzaBase"));

47 Start Jena ( 6 / 8 ) Restriction Create Restriction Restriction r = base.createrestriction(base.getobjectproperty(ns + "hasparent")); r.converttosomevaluesfromrestriction (base.getontclass(ns + "Person")); AllValuesFromRestriction allr = base.createallvaluesfromrestriction(null, base.getobjectproperty(ns + "hasparent"), base.getontclass(ns + "Man"));

48 Start Jena ( 7 / 8 ) Instance OntResource joe = base.createontresource(defaultnamespace + "Joe"); OntResource joseph = base.createontresource(defaultnamespace + "Joseph"); OntResource jane = base.createontresource(defaultnamespace + "Jane"); base.add(joe, hasfriend, jane);

49 Start Jena ( 8 / 8 ) Reasoner Jena Reasoner private InfModel bindjenainferencereasoner(){ Reasoner reasoner = ReasonerRegistry.getOWLReasoner(); reasoner = reasoner.bindschema(modelschema); InfModel inferred = ModelFactory.createInfModel(reasoner, modelinstance); return inferred; }

50 Examples (1/2) 시나리오 시스템이사용자가가지는장치, 위치그리고시간을인지했을때그상황에적합한서비스를제공 1. 사용자휴대폰, 식당, 식사시간인지 메뉴추천서비스 2. 사용자노트북, 회의장소, 회의시간인지 발표자료오픈서비스

51 Examples (2/2) Protégé Ontology Schema 구성 Jena Load Ontology Schema getclasses, getproperty, getresource CreateResource: Situateion Reasoner: Jena OWLReasoner

52 ( 사례연구 ) 모바일지능형서비스를위한온톨로지모델기반상황인지기법 Ontology Model based Context-Awareness for Mobile Intelligent Service

53 개념도 클라이언트기기 기기로부터정보수집및최종서비스제공 서버 정보의가공과컨텍스트추론서비스제공 클라이언트기기 서버 정보수집기 GPS Time Base Ontology Context Ontology WiFi BT Acc Profile 서비스매니저 상황인지애플리케이션 인스턴스모델생성기 인스턴스구축기 정보선처리기 컨텍스트추론기 추론엔진

54 Context 정의 식품이력제공서비스 가공된환경정보하나를사용하여정의되는상황 Activity, Location, Time, Environment KB = {LocationContext Context ( hasgps.literal haswifi.literal )} KB = {ActivityContext Context hasacc.literal)} KB = {EnvironmentContext Context hasbt.literal)} } KB = {TimeContext Context hasdatetime.literal)} } High Level Context Low Level Context 를혼합하여도출되는상위의상황 Meeting, Eating, Lecture, Walking

55 상황인지를위한지식베이스모델링 상황의정의를통한인지되는정보의의미부여 Context Eating Context Aware Eating Time Aware Restaurant KB = {AwareEatingTime hastime.eatingtime} KB = {AwareRestaurant haslocation.restaurant} Lecture Context Aware Lecture Time Aware ClassRoom KB = {AwareLectureTime hastime.lecturetime} KB = {AwareClssRoom haslocation.classroom, ClassRoom haswifi.classroomwifi hasgps.classroomgps} Walking Context KB = {WalkingContext ActivityContext (=1 hasgpsspeed.integer hasgpsspeed. integer[> = 2"^^integer] hasgpsspeed. integer[< 5"^^integer] ) }

56 상황인지를위한스키마온톨로지 owl:thing rdfs:subclassof Event User Situation Time hasevent Context Location haslocation hastime hasuser KB = { Location =1 haslatitudevalue.double =1 haslongitudevalue.double, WiFi =1 haswifiap_id.string =1 haswifiaddress.string =1 haswifistrength.integer, Time =1 hastimevalue.datetime}

57 상황인스턴스모델생성 인스턴스모델구축 상황인스턴스 : 정보를인지하여임의의상황을가질수있는인스턴스 Situation rdf:type sit-01 hasevent Event rdf:type event-01 hasevent hasuser hasuser User rdf:type user-01 haslocation haslocation Location rdf:type loc-01 hastime hastime Time rdf:type time-01

58 온톨로지지식표현이제공하는추론 추론서비스 Situation haslocation Location hastime rdf:type rdf:type loc-01 sit-01 rdf:type haswifi Eating Context haswifi_id haswifi_address info_univ 00:0b:86:d4:df:51 Time rdf:type time-01 hasdatetime T12:30:00 KB = {Location(loc-01), Univ haswifi.univwifi, UnivWiFi haswifi_id.info_univ} => KB = {Univ(loc-01)} KB = {Refectory haswifi_adress.refectory_wifi_address, Refectory_WiFi_Address( 00:0b:86:d4:df:51 ±), AwareRestaurant haslocation.restaurant, Refectory Restauant } => KB = {Refectory(loc-01), Restauant(loc-01), AwareRestaurant(sit-01)} KB = {Time(time-01), AwareEatingTime hastime.eatingtime, KB = {EatingContext AwareEatingTime EatingTime( T12:30:00 ±)} AwareRestaurant } => => KB = {AwareEatingTime(sit-01)} KB = { EatingContext(sit-01)} E-2

59 현재상황에대한상황인지 인지되어지는센서정보형식 wifi, t12:21:56,eggforrandol,00:1d:93:31:4a:66,-59 wifi, t12:21:56,ailab,00:08:9f:09:84:9c,-54 wifi, t12:21:56,bilab,00:02:a8:9d:c2:e4,-61 wifi, t12:21:56,t wifi zone,00:30:0d:61:0b:7c,-72 gps, t12:21:57, , ,seoul,0.0 상황정보모델을통하여추론되어지는결과 Inferred to be in Context : Inferred to be in Context : Inferred to be in Context : Inferred to be in Context : Inferred to be in Context : E-1

60 SUMMARY Protégé의실제사용방법 JENE의사용방법 OWL기반 Context 표현세부방법-추가설명 CLASS Properties Object 실제사례연구 > 모바일지능형서비스를위한온톨로지모델기반상황인지기법 END