3719 search results - page 4 / 744 » Pellet System Description |
FROCOS
2009
Springer
14 years 18 days ago
2009
Springer
SEMWEB
2009
Springer
14 years 17 days ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
AAAI
2010
13 years 7 months ago
2010
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However...
CADE
2006
Springer
14 years 6 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
JAIR
2002
13 years 5 months ago
2002