Toward a new landscape of systems management in an autonomic computing environment
暂无分享,去创建一个
Diego Calvanese | Antonio Perrone | Giovanni Lanfranchi | Pietro Della Peruta | Diego Calvanese | Antonio Perrone | G. Lanfranchi
[1] Dieter Fensel,et al. Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .
[2] Ian Horrocks,et al. Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.
[3] Giuseppe De Giacomo,et al. Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .
[4] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[5] Diego Calvanese,et al. Description Logic Framework for Information Integration , 1998, KR.
[6] Andrea Calì,et al. A Formal Framework for Reasoning on UML Class Diagrams , 2002, ISMIS.
[7] Diego Calvanese,et al. Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .
[8] J. Ashby. References and Notes , 1999 .
[9] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[10] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.
[11] Diego Calvanese,et al. Identification Constraints and Functional Dependencies in Description Logics , 2001, IJCAI.
[12] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[13] Diego Calvanese,et al. Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..
[14] Giuseppe De Giacomo,et al. Reasoning on UML Class Diagrams in Description Logics , 2001 .
[15] Ian Horrocks,et al. OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..
[16] D. Bernardi. Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .