Title: Formal ontology in information systems
Subjects: Ontologies (Information retrieval), Congresses, Formal methods (Computer science)