Description Logics with inverse roles, functional restrictions, and n-ary relations | Zendy

Giuseppe De Giacomo | Zendy; Maurizio Lenzerini | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Description Logics with inverse roles, functional restrictions, and n-ary relations

Author(s) -

Giuseppe De Giacomo,

Maurizio Lenzerini

Publication year - 1994

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-58332-7

DOI - 10.1007/bfb0021982

Subject(s) - decidability , rotation formalisms in three dimensions , computer science , converse , theoretical computer science , description logic , inverse , class (philosophy) , algorithm , mathematics , artificial intelligence , geometry

Description Logics (DLs) are used in Artificial Intelligenceto represent knowledge in terms of objects grouped into classes, and offerstructuring mechanisms for both characterizing the relevant propertiesof classes in terms of binary relations, and establishing several interdependenciesamong classes. One of the main themes in the area of DLshas been to identify DLs that are both very expressive and decidable.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research