메뉴 건너뛰기




Volumn 4273 LNCS, Issue , 2006, Pages 573-582

Reducing the inferred type statements with individual grouping constructs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES; SYNTACTICS;

EID: 33845412853     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11926078_41     Document Type: Conference Paper
Times cited : (1)

References (12)
  • 2
    • 84880869197 scopus 로고    scopus 로고
    • High performance reasoning with very large knowledge bases: A practical case study
    • Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: IJCAI. (2001) 161-168
    • (2001) IJCAI , pp. 161-168
    • Haarslev, V.1    Möller, R.2
  • 3
    • 17644384293 scopus 로고    scopus 로고
    • The instance store: Dl reasoning with large numbers of individuals
    • Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The instance store: Dl reasoning with large numbers of individuals. In: Description Logics. (2004)
    • (2004) Description Logics
    • Horrocks, I.1    Li, L.2    Turi, D.3    Bechhofer, S.4
  • 5
    • 33744804826 scopus 로고    scopus 로고
    • Time - Space trade-offs in scaling up rdf schema reasoning
    • Stuckenschmidt, H., Broekstra, J.: Time - space trade-offs in scaling up rdf schema reasoning. In: WISE Workshops. (2005) 172-181
    • (2005) WISE Workshops , pp. 172-181
    • Stuckenschmidt, H.1    Broekstra, J.2
  • 9
    • 33744821373 scopus 로고    scopus 로고
    • Reordering query and rule patterns for query answering in a rete-based inference engine
    • Ünalir, M., Özacar, T., Öztürk, Ö.: Reordering query and rule patterns for query answering in a rete-based inference engine. In: WISE Workshops. (2005) 255-265
    • (2005) WISE Workshops , pp. 255-265
    • Ünalir, M.1    Özacar, T.2    Öztürk, Ö.3
  • 10
    • 35048835719 scopus 로고    scopus 로고
    • An evaluation of knowledge base systems for large owl datasets
    • Guo, Y., Pan, Z., Heflin, J.: An evaluation of knowledge base systems for large owl datasets. In: International Semantic Web Conference. (2004) 274-288
    • (2004) International Semantic Web Conference , pp. 274-288
    • Guo, Y.1    Pan, Z.2    Heflin, J.3
  • 11
    • 33646433691 scopus 로고    scopus 로고
    • Combining rdf and part of owl with rules: Semantics, decidability, complexity
    • Horst, H.J.: Combining rdf and part of owl with rules: Semantics, decidability, complexity. In: International Semantic Web Conference. (2005) 668-684
    • (2005) International Semantic Web Conference , pp. 668-684
    • Horst, H.J.1


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