3081 search results - page 65 / 617 » A Formal Ontology of Properties |
IBIS
2006
14 years 12 months ago
2006
In order to deal with the need of sharing learning objects within and across learning object repositories most of the recent work argue for the use of ontologies as a means for pro...
ER
2007
Springer
15 years 6 months ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
109
click to vote
FUIN
2008
14 years 12 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
JODS
2007
14 years 11 months ago
2007
Ontologies are an important technology for the Semantic Web. In different areas ontologies have already been developed and many of these ontologies contain overlapping information...
109
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...