메뉴 건너뛰기




Volumn 5, Issue 3, 2011, Pages

On computing deltas of RDF/S knowledge bases

Author keywords

Delta; RDF; Semantic Web

Indexed keywords

COMPOSABILITY; COMPUTING TIME; DELTA; DIFFERENTIAL FUNCTIONS; KNOWLEDGE BASE; KNOWLEDGE BASIS; MINIMALITY; RDF; REDUNDANCY ELIMINATION; SIDE EFFECT; VERSIONING;

EID: 80051932644     PISSN: 15591131     EISSN: 1559114X     Source Type: Journal    
DOI: 10.1145/1993053.1993056     Document Type: Article
Times cited : (33)

References (37)
  • 1
    • 0011560546 scopus 로고
    • The transitive reduction of a directed graph
    • AHO, A., GAREY, M., AND ULLMAN, J. 1972. The transitive reduction of a directed graph. SIAM J. Comput. 1, 131.
    • (1972) SIAM J. Comput. , vol.1 , pp. 131
    • Aho, A.1    Garey, M.2    Ullman, J.3
  • 2
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • ALCHOURRÓN, C. E., GÄRDENFORS, P., AND MAKINSON, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. J. Symbol. Logic 50, 2, 510-530.
    • (1985) J. Symbol. Logic , vol.50 , Issue.2 , pp. 510-530
    • Alchourrón, C.E.1    Gärdenfors, P.2    Makinson, D.3
  • 10
    • 33845204752 scopus 로고    scopus 로고
    • Ph.D. thesis Computer Science Department, University of Crete, Greece
    • FLOURIS, G. 2006. On belief change and ontology evolution. Ph.D. thesis, Computer Science Department, University of Crete, Greece.
    • (2006) On Belief Change and Ontology Evolution
    • Flouris, G.1
  • 17
    • 4444223992 scopus 로고    scopus 로고
    • Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
    • KONIECZNY, S. AND PEREZ, R. P. 2005. Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory. Europ. J. Oper. Res. 160, 3, 785-802.
    • (2005) Europ. J. Oper. Res. , vol.160 , Issue.3 , pp. 785-802
    • Konieczny, S.1    Perez, R.P.2
  • 19
    • 43449094330 scopus 로고    scopus 로고
    • Issues in an inference platform for generating deductive knowledge: A case study in cultural heritage digital libraries using the CIDOC CRM
    • LIN, C., HONG, J., AND DOERR, M. 2008. Issues in an inference platform for generating deductive knowledge: A case study in cultural heritage digital libraries using the CIDOC CRM. Int. J. Digital Libraries 8, 2, 115-132.
    • (2008) Int. J. Digital Libraries , vol.8 , Issue.2 , pp. 115-132
    • Lin, C.1    Hong, J.2    Doerr, M.3
  • 23
    • 4344682644 scopus 로고    scopus 로고
    • Ontology versioning in an ontology management framework
    • NOY, N. AND MUSEN, M. 2004. Ontology versioning in an ontology management framework. IEEE Intell. Syst. 19, 4, 6-13.
    • (2004) IEEE Intell. Syst. , vol.19 , Issue.4 , pp. 6-13
    • Noy, N.1    Musen, M.2
  • 33
    • 0000880158 scopus 로고
    • The input/output complexity of transitive closure
    • ULLMAN, J. AND YANNAKAKIS, M. 1991. The input/output complexity of transitive closure. Ann. Math. Artif. Intell. 3, 2, 331-360.
    • (1991) Ann. Math. Artif. Intell. , vol.3 , Issue.2 , pp. 331-360
    • Ullman, J.1    Yannakakis, M.2
  • 35
    • 84945708259 scopus 로고
    • A theorem on Boolean matrices
    • WARSHALL, S. 1962. A theorem on Boolean matrices. J. ACM 9, 1, 11-12.
    • (1962) J. ACM , vol.9 , Issue.1 , pp. 11-12
    • Warshall, S.1


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