sorted by: recent | see : popular

Content Tagged with logic + ontology

<sep/>a large number of real-world instance data. We describe how such ontology is built from an XML source and how it can be maintained. Instead of a one-to-one mapping from XML to RDF, the<sep/>

A 'Semantic Web Ontology' document. Transformed (programatically) from OWL/XML, Markdown, SKOS, DC, and OBO into a GRDDL source document which expresses the ontology for humans (XHTML and OWL Manchester syntax) and machines (The OWL ontology i

"In this paper, we present a translation of a large part (around 90%) of the Cyc ontology into First- Order Logic. We discuss our methodology, and the tradeoffs between expressivity and efficiency in representation and reasoning."

"Drawing on our distinction of the three levels of reality, cognition and representational artifact we have sought to formulate an unambiguous terminology for describing ontologies and related artifacts." Not for the faint of heart, but classic ontology engineering literature

take advantage of your DL compliant OWL ontologies with this open-source DL reasoner, and it runs in Windows using .NET 2.0 framework

ConceptNet is a freely available commonsense knowledgebase and natural-language-processing toolkit which supports many practical textual-reasoning tasks over real-world documents right out-of-the-box. (And omg, there's a version in Common LISP.)