메뉴 건너뛰기




Volumn 4824 LNCS, Issue , 2007, Pages 174-181

Rule definition for managing Ontology development

Author keywords

Declarative logic programming; Description logics; Ontology development; OWL DL; Rules

Indexed keywords

COMPUTER PROGRAMMING; DATA REDUCTION; FORMAL LOGIC; QUERY LANGUAGES; SOFTWARE PROTOTYPING;

EID: 38149018000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75975-1_16     Document Type: Conference Paper
Times cited : (2)

References (19)
  • 1
    • 38149058809 scopus 로고    scopus 로고
    • Lehmann, T.: A Framework for Ontology based Integration of Structured IT-Systems, Workshop on Ontology-based Software Engineering. In: European Semantic Web Conference, Innsbruck, AU (2007)
    • Lehmann, T.: A Framework for Ontology based Integration of Structured IT-Systems, Workshop on Ontology-based Software Engineering. In: European Semantic Web Conference, Innsbruck, AU (2007)
  • 2
    • 38149026151 scopus 로고    scopus 로고
    • Gerstner Laboratorory, Department of Cybernetics, Czech Technical University
    • Obitko, M.: Translation between Ontologies, Gerstner Laboratorory, Department of Cybernetics, Czech Technical University, http://www.webing.felk. cvut.cz/output/pub/WEBING-070504.pdf
    • Translation between Ontologies
    • Obitko, M.1
  • 6
    • 38149086662 scopus 로고    scopus 로고
    • Knublauch, H.: Semantic Web Rules - Tools and Languages, tutorial. In: RuleML 2006 (2006), http://2006.mleml.org/slides/tutorial-holger.pdf
    • Knublauch, H.: Semantic Web Rules - Tools and Languages, tutorial. In: RuleML 2006 (2006), http://2006.mleml.org/slides/tutorial-holger.pdf
  • 7
    • 85018300297 scopus 로고    scopus 로고
    • HP Laboratories
    • Reynolds, D.: JUC-Jena Rules, HP Laboratories, http://jena.hpl.hp.com/ juc2006/proceedings/reynolds/rules-slides.ppt
    • JUC-Jena Rules
    • Reynolds, D.1
  • 13
    • 34548074205 scopus 로고    scopus 로고
    • Can OWL and Logic Programming Live Together Happily Ever After?
    • Motik, B., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After? In: ISWC 2006, http://iswc2006.semanticweb.org/ items/Motik2006bh.pdf
    • (2006) ISWC
    • Motik, B.1    Rosati, R.2    Sattler, U.3
  • 14
    • 38149029011 scopus 로고    scopus 로고
    • Horrocks, I, Patel-Schneider, P.F, Bechhofer, S, Tsarkov, D, OWL Rules: A Proposal and Prototype Implementation
    • Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation
  • 15
    • 38149081162 scopus 로고    scopus 로고
    • Grosof, B.N., Raphael, V., Horrocks, I., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003, Budapest, Hungary (May20-24, 2003)
    • Grosof, B.N., Raphael, V., Horrocks, I., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003, Budapest, Hungary (May20-24, 2003)
  • 17
    • 38149087402 scopus 로고    scopus 로고
    • http://jena.sourceforge.net/inference/
  • 18
    • 38149066603 scopus 로고    scopus 로고
    • http://www.jython.org


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