3706 search results - page 1 / 742 » OntoComP System Description |
120
Voted
DLOG
2009
14 years 11 months ago
2009
Abstract. We describe OntoComP, a Prot
103
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
101
Voted
CADE
2006
Springer
16 years 1 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...
91
Voted
JAIR
2002
15 years 24 days ago
2002
93
Voted
FORTE
1996
15 years 2 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...