08-1 リスプによる OWL-Full プロセッサ OWL-Full Processor on Lisp 小出 誠二 武田英明 Seiji Koide Hideaki Takeda 国立情報学研究所 総研大 National Institute of Informatics, Sokendai This paper describes an RDF(S) and OWL-Full modeling language called SWCLOS, which is built on top of Common Lisp Object System (CLOS). The axioms and entailment rules of RDF(S) are implemented and the RDF(S) semantics is realized using CLOS Meta-Obj