authorisation; ontologies (artificial intelligence); semantic Web; temporal logic; TL-ALCF; access control; ontologies; temporal description logic; Description Logic; History of Accesses;
机译:基于描述逻辑的Web服务匹配的语义模型
机译:基于语义上下文的移动Web服务访问控制模型
机译:基于本体的语义Web服务访问控制模型
机译:基于时间描述逻辑的访问控制模型,用于在语义Web中表达历史限制策略
机译:Web访问控制策略的基于逻辑的框架。
机译:使用语义网形状表达式(ShEx)建模和验证HL7 FHIR配置文件
机译:基于时间描述逻辑的语义Web服务推理
机译:用时态逻辑语言XYZ / E表达Csp和Cp或aDa任务的形式语义