메뉴 건너뛰기




Volumn 258, Issue , 2007, Pages

ONTOSEARCH2: Searching ontologies semantically

Author keywords

[No Author keywords available]

Indexed keywords

METADATA INFORMATION; ONTOLOGY SEARCH ENGINES; QUERY ANSWERING; SEMANTIC ENTAILMENT;

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

References (27)
  • 7
    • 84885374466 scopus 로고    scopus 로고
    • http://www.w3.org/TR/rdf-schema/ (2004)
    • (2004)
  • 9
    • 84885378933 scopus 로고    scopus 로고
    • http://www.w3.org/TR/owl-guide/ (2004)
    • (2004)
  • 10
    • 22044449098 scopus 로고    scopus 로고
    • Complexity of reasoning
    • Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., eds. Cambridge University Press
    • Donini, F.M.: Complexity of Reasoning. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., eds.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003) 96-136
    • (2003) The Description Logic Handbook: Theory, Implementation, and Applications , pp. 96-136
    • Donini, F.M.1
  • 20
    • 36348950945 scopus 로고    scopus 로고
    • Approximating description logic classification for semantic web reasoning
    • Groot, P., Stuckenschmidt, H., Wache, H.: Approximating Description Logic Classification for Semantic Web Reasoning. In: Proc. of ESWC2005. (2005)
    • (2005) Proc. of ESWC2005
    • Groot, P.1    Stuckenschmidt, H.2    Wache, H.3
  • 22
    • 0030102186 scopus 로고    scopus 로고
    • Knowledge compilation and theory approximation
    • Selman, B., Kautz, H.: Knowledge Compilation and Theory Approximation. Journal of the ACM (JACM) 43(2) (1996) 193-224
    • (1996) Journal of the ACM (JACM) , vol.43 , Issue.2 , pp. 193-224
    • Selman, B.1    Kautz, H.2
  • 25
    • 33845212761 scopus 로고    scopus 로고
    • A comparison of reasoning techniques for querying large description logic ABoxes
    • Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Proc. of LPAR 2006. (2006) 227-241
    • (2006) Proc. of LPAR 2006 , pp. 227-241
    • Motik, B.1    Sattler, U.2
  • 26
    • 25144513579 scopus 로고    scopus 로고
    • LUBM: A benchmark for OWL knowledge base systems
    • Guo, Y., Pan, Z., Heflin, J.: LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics 3(2) (2005) 158-182
    • (2005) Journal of Web Semantics , vol.3 , Issue.2 , pp. 158-182
    • Guo, Y.1    Pan, Z.2    Heflin, J.3


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