Automation in Construction · 2015 · 27 citations · 20 references
ComputingComputer ScienceDatabasesFormal MethodsKnowledge RepresentationData ModelingDescription LogicsModel CheckingModel TransformationOntology EngineeringRelational Data ModelRdf ModelingRdf Schema Design
20
The MD5 Message-Digest Algorithm
Rivest · Medical Entomology and Zoology · 1992 · 2.9K citations
OWL Web Ontology Language - Reference
Mike Dean, A.T. Schreiber, Sean Bechofer et al. · Data Archiving and Networked Services (DANS) · 2004 · 2.4K citations
The Semantics of Predicate Logic as a Programming Language
M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text
Humanities, Computer Science, Logic +16
Rdf vocabulary description language 1.0 : Rdf schema
Dan Brickley · Medical Entomology and Zoology · 2004 · 1.4K citations