Reasoning on OWL2 Ontologies with Rules Using Metalogic
| dc.contributor.author | Visit Hirankitti | |
| dc.contributor.author | Trang Xuan Mai | |
| dc.date.accessioned | 2025-07-21T05:53:03Z | |
| dc.date.issued | 2012-05-02 | |
| dc.identifier.doi | 10.1007/978-1-4614-2317-1_8 | |
| dc.identifier.uri | https://dspace.kmitl.ac.th/handle/123456789/3511 | |
| dc.subject | Predicate (mathematical logic) | |
| dc.subject | Web Ontology Language | |
| dc.subject | Rule of inference | |
| dc.subject.classification | Semantic Web and Ontologies | |
| dc.title | Reasoning on OWL2 Ontologies with Rules Using Metalogic | |
| dc.type | Book chapter |