Ontocloud: a clinical information ontology based data integration system (2013)
- Authors:
- USP affiliated authors: WASSERMANN, RENATA - IME ; BRENTANI, HELENA PAULA - FM ; FINGER, MARCELO - IME
- Unidades: IME; FM
- Subjects: ONTOLOGIA; BANCO DE DADOS DISTRIBUÍDOS
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: CEUR Workshop Proceedings
- ISSN: 1613-0073
- Volume/Número/Paginação/Ano: v. 1041, p. 118-129, 2013
- Conference titles: Seminar on Ontology Research in Brazil - ONTOBRAS
-
ABNT
PATRÃO, Diogo F. C et al. Ontocloud: a clinical information ontology based data integration system. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf. Acesso em: 30 abr. 2024. , 2013 -
APA
Patrão, D. F. C., Brentani, H., Finger, M., & Wassermann, R. (2013). Ontocloud: a clinical information ontology based data integration system. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf -
NLM
Patrão DFC, Brentani H, Finger M, Wassermann R. Ontocloud: a clinical information ontology based data integration system [Internet]. CEUR Workshop Proceedings. 2013 ; 1041 118-129.[citado 2024 abr. 30 ] Available from: http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf -
Vancouver
Patrão DFC, Brentani H, Finger M, Wassermann R. Ontocloud: a clinical information ontology based data integration system [Internet]. CEUR Workshop Proceedings. 2013 ; 1041 118-129.[citado 2024 abr. 30 ] Available from: http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf - The universe of propositional approximations
- Revising specifications with CTL properties using bounded model checking
- The universe of approximations
- Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Tableaux for approximate reasoning
- Approximate and limited reasoning: semantics, proof theory, expressivity and control
- Anytime approximations of classical logic from above
- Tableaux for approximate reasoning
- Satisfiability in EL with sets of probabilistic ABoxes
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
