메뉴 건너뛰기




Volumn 4185 LNCS, Issue , 2006, Pages 263-277

OWL-full reasoning from an object oriented perspective

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; INFORMATION ANALYSIS; MATHEMATICAL MODELS;

EID: 33750265878     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11836025_27     Document Type: Conference Paper
Times cited : (17)

References (12)
  • 1
    • 4544311630 scopus 로고    scopus 로고
    • Basic description logics
    • [Baarder2003] (eds. Baader et al.). Chap. 2, Cambridge
    • [Baarder2003] Baarder, F., W. Nutt: Basic Description Logics, The Description Logic Handbook (eds. Baader et al.). Chap. 2, Cambridge (2003) 43-95
    • (2003) The Description Logic Handbook , pp. 43-95
    • Baarder, F.1    Nutt, W.2
  • 2
    • 17244373975 scopus 로고    scopus 로고
    • Conceptual modeling with description logics
    • [Borgida2003] (eds. Baader et al.). Chap. 10, Cambridge
    • [Borgida2003] Borgida, A., R. J. Brachman: Conceptual Modeling with Description Logics, The Description Logic Handbook (eds. Baader et al.). Chap. 10, Cambridge (2003) 349-372
    • (2003) The Description Logic Handbook , pp. 349-372
    • Borgida, A.1    Brachman, R.J.2
  • 3
    • 25144481885 scopus 로고    scopus 로고
    • Extending the RDFS entailment lemma
    • [Horst2004]
    • [Horst2004] Horst, H. J. ter: Extending the RDFS Entailment Lemma. ISWC2004, (2004) 79-91
    • (2004) ISWC2004 , pp. 79-91
    • Ter Horst, H.J.1
  • 4
    • 33646433691 scopus 로고    scopus 로고
    • Combining RDF and part of OWL with rules: Semantics, decidability, complexity
    • [Horst2005]
    • [Horst2005] Horst, H. J. ter: Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. ISWC2005, (2005) 668-684
    • (2005) ISWC2005 , pp. 668-684
    • Ter Horst, H.J.1
  • 5
    • 33646203385 scopus 로고    scopus 로고
    • Proceedings of the international conference on automated reasoning with Analytic Tableaux and related methods (TABLEAUX 2005)
    • [Kaneiwa2005], Springer-Verlag
    • [Kaneiwa2005] Kaneiwa, K. and R. Mizoguchi:Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), LNCS 3702, Springer-Verlag, (2005) 169-184
    • (2005) LNCS , vol.3702 , pp. 169-184
    • Kaneiwa, K.1    Mizoguchi, R.2
  • 7
    • 84941163603 scopus 로고    scopus 로고
    • SWCLOS: A semantic web processor on common lisp object system
    • [Koide2004]
    • [Koide2004] Koide, S., Kawamura M.: SWCLOS: A Semantic Web Processor on Common Lisp Object System. ISWC2004 Demos, http://iswc2004.semanticweb.org/ demos/32/ (2004)
    • (2004) ISWC2004 Demos
    • Koide, S.1    Kawamura, M.2
  • 8
    • 73449133992 scopus 로고    scopus 로고
    • OWL vs. object oriented programming
    • [Koide2005], Workshop on Semantic Web Enabled Software Engineering (SWESE)
    • [Koide2005] Koide, S., J. Aasman, S. Haflich: OWL vs. Object Oriented Programming, the 4th International Semantic Web Conference (ISWC 2005), Workshop on Semantic Web Enabled Software Engineering (SWESE), (2005) http://www.mel.nist.gov/msid/conferences/SWESE/repository/8owl-vs-OOP.pdf
    • (2005) 4th International Semantic Web Conference (ISWC 2005)
    • Koide, S.1    Aasman, J.2    Haflich, S.3
  • 10
    • 0742268909 scopus 로고    scopus 로고
    • Tutorial on ontological engineering - Part 2: Ontology development, tools and languages
    • [Mizoguchi2004], OhmSha and Springer
    • [Mizoguchi2004] Mizoguchi, R.:Tutorial on Ontological Engineering - Part 2: Ontology Development, Tools and Languages, New Generation Computing, OhmSha and Springer, 22-1, (2004) 61-96
    • (2004) New Generation Computing , vol.22 , Issue.1 , pp. 61-96
    • Mizoguchi, R.1
  • 11
    • 4544253452 scopus 로고    scopus 로고
    • An introduction to description logics
    • [Nardi2003] (eds. Baader et al.). Chap. 1, Cambridge
    • [Nardi2003] Nardi, D., R. J. Brackman: An Introduction to Description Logics, The Description Logic Handbook (eds. Baader et al.). Chap. 1, Cambridge (2003) 1-40
    • (2003) The Description Logic Handbook , pp. 1-40
    • Nardi, D.1    Brackman, R.J.2


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