<--- Back to Details
First PageDocument Content
Information science / Semantic Web / Z notation / Ontology / Knowledge representation / Axiom / Web Ontology Language / S / Type theory / Mathematical logic / Logic / Science
Date: 2012-12-09 05:17:19
Information science
Semantic Web
Z notation
Ontology
Knowledge representation
Axiom
Web Ontology Language
S
Type theory
Mathematical logic
Logic
Science

Open Research Online The Open University’s repository of research publications and other research outputs Grouping axioms for more coherent ontology descriptions Conference Item

Add to Reading List

Source URL: oro.open.ac.uk

Download Document from Source Website

File Size: 156,61 KB

Share Document on Facebook

Similar Documents

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

DocID: 1xV4m - View Document

PDF Document

DocID: 1xQTu - View Document

PDF Document

DocID: 1xBPs - View Document

PDF Document

DocID: 1xzsE - View Document

PDF Document

DocID: 1xlL7 - View Document