图 书 馆开课单位--ISWC2013-悉尼
1 1/1
1A decision procedure for SHOIQ with transitive closure of roles[具有传递闭包的SHOIQ决策过程]
Chan Le Duc(ISWC2013-悉尼) The Semantic Web makes an extensive use of the OWL DL ontology language, underlied by the SHOIQ description logic, to formalize its resources. In this...
热度：14
Chan Le Duc(ISWC2013-悉尼) The Semantic Web makes an extensive use of the OWL DL ontology language, underlied by the SHOIQ description logic, to formalize its resources. In this...
热度：14
1 1/1