Formal Ontology in Information Systems

Mã QR

Formal Ontology in Information Systems

Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coher...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Galton, Antony, Mizoguchi, Riichiro
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35705
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Formal ontology in information systems : proceedings... by Brandon Bennett Formal ontology in information systems : proceedings of the Fourth International Conference (FOIS 2006)
Bỡi: Bennett, Brandon, et al.
Được phát hành: (2013)

Formal Ontology in Information Systems Proceedings of the Seventh International Conference (FOIS 2012)
Bỡi: Donnelly, Maureen, et al.
Được phát hành: (2014)

Formal Ontologies Meet Industry
Bỡi: Borgo, Stefano, et al.
Được phát hành: (2013)

Formal Ontologies Meet Industry
Bỡi: Vermaas, Pieter E., et al.
Được phát hành: (2014)

Ontologies-Based Databases and Information Systems
Bỡi: Collard, Martine
Được phát hành: (2020)

A formal model of ontology for handling fuzzy membership and typicality of instances /
Bỡi: Yeung, Ching-man Au.

Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding
Bỡi: Mizoguchi, Riichiro
Được phát hành: (2013)

Law, Ontologies and the Semantic Web Channelling the Legal Information Flood
Bỡi: Breuker, Joost, et al.
Được phát hành: (2013)

Formal Techniques for Distributed Systems
Được phát hành: (2020)

Formal Methods in Systems Biology
Bỡi: Fisher, Jasmin
Được phát hành: (2020)

Algebraic Formalization of Smart Systems
Bỡi: Serdyukova, Natalia, et al.
Được phát hành: (2020)

Descriptional Complexity of Formal Systems
Bỡi: Konstantinidis, Stavros, et al.
Được phát hành: (2020)

Ontologies in medicine
Bỡi: Pisanelli, Domenico M
Được phát hành: (2013)

Modular Ontologies
Bỡi: Oliver Kutz, Bernardo Cuenca Grau, et al.
Được phát hành: (2013)

Ontology Representation
Bỡi: Hoekstra, Rinke
Được phát hành: (2013)

Modular Ontologies
Được phát hành: (2020)

Ontology Management
Bỡi: Hepp, Martin, et al.
Được phát hành: (2020)

Handbook on Ontologies
Được phát hành: (2020)

Ontology Alignment
Bỡi: Ehrig, Marc
Được phát hành: (2020)

Ontology Matching
Bỡi: Euzenat, Jérôme, et al.
Được phát hành: (2020)

Modular Ontologies
Bỡi: Kutz, Oliver, et al.
Được phát hành: (2014)

Formal Models of Operating System Kernels
Bỡi: Craig, Iain D.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Howar, Falk, et al.
Được phát hành: (2020)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Raskin, Jean-Francois, et al.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Pettersson, Paul, et al.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

Formal Approaches to Agent-Based Systems
Được phát hành: (2020)

Formal Methods for Computational Systems Biology
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Formal Techniques for Safety-Critical Systems
Bỡi: Artho, Cyrille, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Leue, Stefan, et al.
Được phát hành: (2020)

Ontology-based data intergration framework for data warehoussing systems /
Bỡi: Hoang Thi Anh Duong.

Ontology alignment :
Bỡi: Ehrig, Marc
Được phát hành: (2007)

Combining formal methods for embedded systems /
Bỡi: Phạm Trần Nhu.

Navigating the Changing Landscape of Formal and Informal Science Learning Opportunities
Bỡi: Corrigan, Deborah, et al.
Được phát hành: (2020)

Formal Logical Methods for System Security and Correctness
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2013)

Critical Systems: Formal Methods and Automated Verification
Bỡi: Petrucci, Laure, et al.
Được phát hành: (2020)

Formal Methods and Hybrid Real-Time Systems
Bỡi: Jones, Cliff B., et al.
Được phát hành: (2020)