2012 · 868 citations · 0 references
ComputingComputer ScienceInformation SystemsFormal MethodsKnowledge RepresentationSystems ModelingDescription LogicsFormal Language FoundationsFormal OntologyFormal SemanticsOntology EngineeringPredicate LogicFormal SpecificationsOntological AnalysisOntologiesOntology FormalizationOntology Modeling