메뉴 건너뛰기




Volumn 833, Issue , 2011, Pages 255-257

Owl-cpp, a C++ library for working with OWL ontologies

Author keywords

[No Author keywords available]

Indexed keywords

C++ LIBRARIES; OPEN-SOURCE; OWL ONTOLOGIES;

EID: 84891904995     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (3)

References (5)
  • 2
    • 33749556448 scopus 로고    scopus 로고
    • Fact++ description logic reasoner: System description, lecture notes in artificial intelligence
    • Lecture Notes in Artificial Intelligence (Springer), Vol. 4130
    • D Tsarkov, I Horrocks (2006) FaCT++ Description Logic Reasoner: System Description, Lecture Notes in Artificial Intelligence, in Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), Lecture Notes in Artificial Intelligence (Springer), Vol. 4130, pp 292-297.
    • (2006) Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006) , pp. 292-297
    • Tsarkov, D.1    Horrocks, I.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.