際際滷

際際滷Share a Scribd company logo

???? & ?? ?? ???

?
?
S
Sang-Kyun Kim
1 of 14
???? & ?? ?? ??? 2009. 4. 21 ??? [email_address]
???? & ?? ?? ???? ?? ?? ?? ?? Tableaux ??? ?? : sound & complete Decidable & Tractable ????? ?? ?? ?? Horn Logic (FOL ? small fragment), Logic Programming (Negation-As-Failure, Procedural Attachment ? ), ´ ?? formalism ? ??? ?? Semidecidable ????
SWRL SWRL (A Semantic Web Rule Language Combining OWL and RuleML) W3C Member Submission 21 May 2004 OWL DL ?? OWL Lite ? RuleML ? ??? ?? OWL ?? Horn-like rule ? ??? ? ??? ? ( ?? ) parent(?x,?y) … brother(?y,?z) ? uncle(?x,?z)
Pellet ?? URL : http://clarkparsia.com/pellet/ ?? : ?? , ???? ?? : Pellet 2.0 RC5 OWL DL ????? ?? ?? ?? & ?? ??? ?? ?? OWL DL ?? ?? ?? , OWL 2 ? ?? SWRL(DL-safe subset) ?? SPARQL ?? Jena, OWL API ?? ?? DIG ????? ?? Datatype Reasoning
KAON2 ?? URL : http://kaon2.semanticweb.org/ ?? : ?? , closed-source OWL-DL, SWRL, F-Logic ????? ?? ??? ?? ??? ?????? ????? ?? ?????? ?? ?? Tableaux ????? ?? disjunctive datalog ?? ?? ?? OWL DL(SHIQ(D)), SWRL(DL-safe subset), F-Logic ???? API SPARQL ?? DIG ????? ?? RDB ?? ???? ???? ?? ??
RacerPro ?? RACER : Renamed ABox and Concept Expression Reasoner URL : http://www.racer-systems.com/ ?? : ?? , Commercial (Racer Systems GmbH & Co. KG) ?? : RacerPro 1.9.2 beta ??? RDF ? ??? ?? , ?? ???? AllegroGraph ? ?? ?? OWL DL(SHIQ(D)) ?? SWRL ??? nRQL(new Racer Query Language) ?? SPARQL ?? DIG ????? ?? Lisp API ??
Jena ?? URL : http://jena.sourceforge.net/ ?? : ?? , ???? ?? : Jena 2.5.7 ???? ?????? ??? ?? ?? ????? ?? ?? RDF, OWL ?? SPARQL ?? Reading and writing RDF in RDF/XML, N3 and N-Triples In-memory and persistent storage ?? ?? ?? rule ??? ?? ?? ??
FaCT, FaCT++ ?? FaCT : Fast Classification of Terminologies URL : http://owl.man.ac.uk/factplusplus/ ?? : C++, Lisp, CORBA, ???? (Academic Only) OWL ? ?? Ian Horrock ? ??? OWL DL Reasoner OWL API (OWL ? ?? ?? ????? ) ?? ?? OWL(SHIQ) ?? CORBA ?? ????? - ?? ???? DIG ????? ??
Jess ?? URL : http://www.jessrules.com/ ?? : ?? , ???? (Academic Only) ?? : Jess 7.1p2 ?? ???? ?? RETE ???? ?? ? ?? ?? Eclipse-based rule development environment Native XML rule language (JessML) support JSR94(Industry standard rule engine API) ?? Regular expression ??
JTP ?? JTP : Java Theorem Prover URL : http://www.ksl.stanford.edu/software/JTP/ ?? : ?? , ???? Object-Oriented Modular Reasoning System ?? Backward chaining ? forward chaining ?? ??
Bossam ?? URL : http://bossam.wordpress.com/ ?? : ?? , closed-source ?? : Bossam 0.9b45 ETRI ?? ?? ??? ??? ?? OWL, SWRL, RuleML ?? RETE ?? forward chining ??
?? ??? ?? KISTI OntoFrame ? ?? ?? , ?? ? ?? ?? ??? , ?? , ????? ?? ? ?? ?? http://ontoframe.kr/2008/2008_new/main.jsp EHR ????????????? SAGE + u-Brain (BPEL ?? ? ???? ) ?????? ??? ?????? ??? ?? ??
?? ??? ?? ?? IT ???? SHIQ ?? ???? ??? ( ????? ) ?????? ??? ??? ??? ??? ??? ?????? ??? ?? ??? ?? ??? ?? , ??? ?? ?? ?? ???? ??? ????? ????? ?? ??? ?????
?? ??? ?? Saltrux RacerPro, KAON2 ? ??? ? ?? ?? ?? ?? ???? ?? ????? ?? : ??? , ??? ????? ? ?? ??? ???? ?? ???? ????? : ??? ?? ?? , ?? ??? ?? ??? ??? , ?? , social network ????? ??? : ???? , ??? ???

More Related Content

???? & ?? ?? ???

  • 1. ???? & ?? ?? ??? 2009. 4. 21 ??? [email_address]
  • 2. ???? & ?? ?? ???? ?? ?? ?? ?? Tableaux ??? ?? : sound & complete Decidable & Tractable ????? ?? ?? ?? Horn Logic (FOL ? small fragment), Logic Programming (Negation-As-Failure, Procedural Attachment ? ), ´ ?? formalism ? ??? ?? Semidecidable ????
  • 3. SWRL SWRL (A Semantic Web Rule Language Combining OWL and RuleML) W3C Member Submission 21 May 2004 OWL DL ?? OWL Lite ? RuleML ? ??? ?? OWL ?? Horn-like rule ? ??? ? ??? ? ( ?? ) parent(?x,?y) … brother(?y,?z) ? uncle(?x,?z)
  • 4. Pellet ?? URL : http://clarkparsia.com/pellet/ ?? : ?? , ???? ?? : Pellet 2.0 RC5 OWL DL ????? ?? ?? ?? & ?? ??? ?? ?? OWL DL ?? ?? ?? , OWL 2 ? ?? SWRL(DL-safe subset) ?? SPARQL ?? Jena, OWL API ?? ?? DIG ????? ?? Datatype Reasoning
  • 5. KAON2 ?? URL : http://kaon2.semanticweb.org/ ?? : ?? , closed-source OWL-DL, SWRL, F-Logic ????? ?? ??? ?? ??? ?????? ????? ?? ?????? ?? ?? Tableaux ????? ?? disjunctive datalog ?? ?? ?? OWL DL(SHIQ(D)), SWRL(DL-safe subset), F-Logic ???? API SPARQL ?? DIG ????? ?? RDB ?? ???? ???? ?? ??
  • 6. RacerPro ?? RACER : Renamed ABox and Concept Expression Reasoner URL : http://www.racer-systems.com/ ?? : ?? , Commercial (Racer Systems GmbH & Co. KG) ?? : RacerPro 1.9.2 beta ??? RDF ? ??? ?? , ?? ???? AllegroGraph ? ?? ?? OWL DL(SHIQ(D)) ?? SWRL ??? nRQL(new Racer Query Language) ?? SPARQL ?? DIG ????? ?? Lisp API ??
  • 7. Jena ?? URL : http://jena.sourceforge.net/ ?? : ?? , ???? ?? : Jena 2.5.7 ???? ?????? ??? ?? ?? ????? ?? ?? RDF, OWL ?? SPARQL ?? Reading and writing RDF in RDF/XML, N3 and N-Triples In-memory and persistent storage ?? ?? ?? rule ??? ?? ?? ??
  • 8. FaCT, FaCT++ ?? FaCT : Fast Classification of Terminologies URL : http://owl.man.ac.uk/factplusplus/ ?? : C++, Lisp, CORBA, ???? (Academic Only) OWL ? ?? Ian Horrock ? ??? OWL DL Reasoner OWL API (OWL ? ?? ?? ????? ) ?? ?? OWL(SHIQ) ?? CORBA ?? ????? - ?? ???? DIG ????? ??
  • 9. Jess ?? URL : http://www.jessrules.com/ ?? : ?? , ???? (Academic Only) ?? : Jess 7.1p2 ?? ???? ?? RETE ???? ?? ? ?? ?? Eclipse-based rule development environment Native XML rule language (JessML) support JSR94(Industry standard rule engine API) ?? Regular expression ??
  • 10. JTP ?? JTP : Java Theorem Prover URL : http://www.ksl.stanford.edu/software/JTP/ ?? : ?? , ???? Object-Oriented Modular Reasoning System ?? Backward chaining ? forward chaining ?? ??
  • 11. Bossam ?? URL : http://bossam.wordpress.com/ ?? : ?? , closed-source ?? : Bossam 0.9b45 ETRI ?? ?? ??? ??? ?? OWL, SWRL, RuleML ?? RETE ?? forward chining ??
  • 12. ?? ??? ?? KISTI OntoFrame ? ?? ?? , ?? ? ?? ?? ??? , ?? , ????? ?? ? ?? ?? http://ontoframe.kr/2008/2008_new/main.jsp EHR ????????????? SAGE + u-Brain (BPEL ?? ? ???? ) ?????? ??? ?????? ??? ?? ??
  • 13. ?? ??? ?? ?? IT ???? SHIQ ?? ???? ??? ( ????? ) ?????? ??? ??? ??? ??? ??? ?????? ??? ?? ??? ?? ??? ?? , ??? ?? ?? ?? ???? ??? ????? ????? ?? ??? ?????
  • 14. ?? ??? ?? Saltrux RacerPro, KAON2 ? ??? ? ?? ?? ?? ?? ???? ?? ????? ?? : ??? , ??? ????? ? ?? ??? ???? ?? ???? ????? : ??? ?? ?? , ?? ??? ?? ??? ??? , ?? , social network ????? ??? : ???? , ??? ???