First order reasoning on a large ontology

From Semantic Portal Wiki

{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}

Edit

Reference: {{#vardefine:pagename|first order reasoning on a large ontology }}

1. [[]]

bibtex

{{#vardefine:pagename|First order reasoning on a large ontology }}{{#vardefine:key| }}

abstract:

download:

• paper:
• slides: