ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
23
views
18
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,210
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Principles of Knowledge Representation and Reasoning
A Unified Framework for Class-Based Representation Formalisms
edited_book
Author(s):
Diego Calvanese
,
Maurizio Lenzerini
,
Daniele Nardi
Publication date
(Print):
1994
Publisher:
Elsevier
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Open source discrete and agent-based modeling frameworks for biology
Most cited references
18
Record
: found
Abstract
: not found
Article
: not found
The entity-relationship model---toward a unified view of data
Peter Chen
(1976)
0
comments
Cited
93
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Semantic database modeling: survey, applications, and research issues
Roger King
,
Richard Hull
(1987)
0
comments
Cited
46
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Propositional dynamic logic of looping and converse is elementarily decidable
Robert S. Streett
(1982)
0
comments
Cited
33
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1994
Pages
: 109-120
DOI:
10.1016/B978-1-4832-1452-8.50107-X
SO-VID:
f9b0908f-b690-4f0c-9275-ec7eed8ba56b
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. ix
Preface
pp. 51
Spatial Reasoning with Propositional Logics
pp. 75
Toward a Logic for Qualitative Decision Theory
pp. 109
A Unified Framework for Class-Based Representation Formalisms
pp. 121
Learning the CLASSIC Description Logic: Theoretical and Experimental Results
pp. 134
Directional Resolution: The Davis-Putnam Procedure, Revisited **This work was partially supported by NSF grant IRI-9157636, by Air Force Office of Scientific Research grant AFOSR 900136, by Toshiba of America, and by a Xerox grant.
pp. 226
GSAT and Dynamic Backtracking
pp. 270
An Ontology of Meta-Level Categories
pp. 305
Probabilistic Reasoning in Terminological Logics
pp. 497
Means-End Plan Recognition – Towards a Theory of Reactive Recognition
pp. 509
Terminological Cycles and the Propositional μ-Calculus**This work was supported by a grant from the Deutsche Forschungsgemeinschaft (DFG).
pp. 540
Making the Difference: A Subtraction Operation for Description Logics
pp. 551
Tractable Databases: How to Make Propositional Unit Resolution Complete through Compilation
pp. 619
Transmutations of Knowledge Systems
Similar content
4,210
Sparticle masses from transverse mass kinks at the LHC: the case of Yukawa-unified SUSY GUTs
Authors:
Sang Hui Im
,
Kiwoon Choi
,
Chan Beom Park
…
Qiu, R. et al. A Unified Multi-Functional Dynamic Spectrum Access Framework: Tutorial, Theory and Multi-GHz Wideband Testbed. Sensors 2009, 9, 6530–6603
Authors:
Robert Qiu
,
Nan Guo
,
Husheng Li
…
A 4-vector formalism for classical mechanics
Authors:
Francisco Güemez Ricalde
,
M. Fiolhais
See all similar
Cited by
3
Description logics in data management
Authors:
A. Borgida
Description Logics for Conceptual Data Modeling
Authors:
Diego Calvanese
,
Maurizio Lenzerini
,
Daniele Nardi
Counting in the Two Variable Guarded Logic with Transitivity
Authors:
Lidia Tendera
See all cited by