<--- Back to Details
First PageDocument Content
Semantic Web / Knowledge representation / Knowledge engineering / Ontology / Information science / Web Ontology Language / Resource Description Framework / Semantic reasoner / Mereology / Ontology engineering / Upper ontology
Date: 2012-05-24 03:43:20
Semantic Web
Knowledge representation
Knowledge engineering
Ontology
Information science
Web Ontology Language
Resource Description Framework
Semantic reasoner
Mereology
Ontology engineering
Upper ontology

Microsoft Word - OWLGrEd_S_OWLED_CReady_v11.doc

Add to Reading List

Source URL: ceur-ws.org

Download Document from Source Website

File Size: 85,35 KB

Share Document on Facebook

Similar Documents

NOUS 27: Naive Mereology,AdmissibleValuations, and OtherMatters PETERVANINWAGEN

DocID: 1uZKQ - View Document

FUNCTIONAL DECOMPOSITION AND MEREOLOGY IN ENGINEERING Pieter Vermaas and Pawel Garbacz 1

DocID: 1uTmA - View Document

To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs.

DocID: 1tgPG - View Document

Logic / Abstraction / Philosophy / Automated theorem proving / Reasoning / Formal methods / Predicate logic / Datalog / First-order logic / Axiom / Satisfiability modulo theories / Mereology

Microsoft Word - BlankPage

DocID: 1rugC - View Document

Ontology / Semantic Web / Information science / Metaphysics / Knowledge representation / Computing / Web Ontology Language / Formal ontology / Mereology / Credit card / Credit

Microsoft Word - RegFormTutorials.docx

DocID: 1roAY - View Document