21 search results - page 5 / 5 » Deduction by Combining Semantic Tableaux and Integer Program... |
125
click to vote
JAPLL
2010
15 years 1 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...