Semantic Web-Oriented Specification of Logic Descriptive Primitives
Zhou Ming-dan · Dianzi xuebao · 2002
By employing the flow-blown techniques of KE, semantic Web is targeted to provide the semantic interoperability for data and knowledge exchange. As Web is characterized by markup language, this paper extends OIL/RDFS descriptive primitives to broadly represent first-order prepositional formulae,Horn Clauses and inference rules.The representation example of typical prepositional rule shows the extended specification is feasible.