128 search results - page 2 / 26 » Class Algebra for Ontology Reasoning |
JLP
2011
14 years 4 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
DLOG
1996
14 years 11 months ago
1996
139
click to vote
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
92
Voted
OWLED
2008
14 years 11 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
SWWS
2008
14 years 11 months ago
2008
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...