메뉴 건너뛰기




Volumn , Issue , 2006, Pages

Towards semantics-based monitoring of large-scale industrial systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; INFORMATION MANAGEMENT; LARGE SCALE SYSTEMS; SOFTWARE PROTOTYPING;

EID: 38849209235     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIMCA.2006.220     Document Type: Conference Paper
Times cited : (6)

References (20)
  • 1
    • 0003727420 scopus 로고    scopus 로고
    • F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors, Cambridge University Press
    • F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
    • (2003) The Description Logic Handbook: Theory, Implementation, and Applications
  • 2
    • 38849197736 scopus 로고    scopus 로고
    • J. Clark. XSL Transformations 1.0. W3C Recommendation, 1999.
    • J. Clark. XSL Transformations 1.0. W3C Recommendation, 1999.
  • 3
    • 38849188417 scopus 로고    scopus 로고
    • EC-funded project EuRoMain
    • EC-funded project EuRoMain. http://www.euromain.org/.
  • 4
    • 38849120499 scopus 로고    scopus 로고
    • EC-funded project InteGRail
    • EC-funded project InteGRail. http://www.integrail.info/.
  • 5
    • 38849155622 scopus 로고    scopus 로고
    • FaCT, OWL-DL reasoner
    • FaCT++ OWL-DL reasoner. http://owl.man.ac.uk/factplusplus/.
  • 6
    • 0003641269 scopus 로고    scopus 로고
    • U. Fayyad, G. Piatetsky-Shapiro, and R. Uthurusamy, editors, MIT Press
    • U. Fayyad, G. Piatetsky-Shapiro, and R. Uthurusamy, editors. Advances in Knowledge Discovery and Data Mining. MIT Press, 1996.
    • (1996) Advances in Knowledge Discovery and Data Mining
  • 7
    • 1342318680 scopus 로고    scopus 로고
    • OWL-QL: A Query Language for Deductive Query Answering on the Semantic Web
    • 03-14, Stanford University, Stanford, CA
    • R. Fikes, P. Hayes, and I. Horrocks. OWL-QL: A Query Language for Deductive Query Answering on the Semantic Web. Technical Report KSL 03-14, Stanford University, Stanford, CA, 2003.
    • (2003) Technical Report KSL
    • Fikes, R.1    Hayes, P.2    Horrocks, I.3
  • 8
    • 25144513579 scopus 로고    scopus 로고
    • Lubm: A benchmark for owl knowledge base systems
    • Y. Guo, Z. Pan, and J. Heflin. Lubm: A benchmark for owl knowledge base systems. Journal of Web Semantics, 3(2), 2005.
    • (2005) Journal of Web Semantics , vol.3 , Issue.2
    • Guo, Y.1    Pan, Z.2    Heflin, J.3
  • 9
    • 17644384293 scopus 로고    scopus 로고
    • The Instance Store: Description Logic Reasoning with Large Numbers of Individuals
    • I. Horrocks, L. Li, D. Turi, and S. Bechhofer. The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. In DL Workshop, 2004.
    • (2004) DL Workshop
    • Horrocks, I.1    Li, L.2    Turi, D.3    Bechhofer, S.4
  • 13
    • 11144287594 scopus 로고    scopus 로고
    • The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications
    • A. Pease, I. Niles, and J. Li. The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications. In AAAI-2002.
    • AAAI-2002
    • Pease, A.1    Niles, I.2    Li, J.3
  • 15
    • 38849172380 scopus 로고    scopus 로고
    • A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
    • New York, USA
    • P. Pothipruk and G. Governatori. A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In WISE 2005, New York, USA.
    • WISE 2005
    • Pothipruk, P.1    Governatori, G.2


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