1916 search results - page 166 / 384 » Reasoning with class algebra |
131
click to vote
FAC
2002
15 years 4 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
138
click to vote
LISP
2002
15 years 4 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
123
click to vote
FSS
2010
15 years 3 months ago
2010
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
133
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Ontology classification--the computation of subsumption hierarchies for classes and properties--is one of the most important tasks for OWL reasoners. Based on the algorit...
117
click to vote
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...