Normal view
MARC view
- Description logics
Entry Topical Term
001 - CONTROL NUMBER
- control field: 4380
003 - CONTROL NUMBER IDENTIFIER
- control field: TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200512163400.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 020312|| azannbabn |a ana
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: sh2002004491
035 ## - SYSTEM CONTROL NUMBER
- System control number: (TR-AnTOB)4380
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Language of cataloging: eng
- Transcribing agency: DLC
- Modifying agency: TR-AnTOB
053 #0 - LC CLASSIFICATION NUMBER
- Classification number element--single number or beginning number of span: Q387.3
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Description logics
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logics, Description
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Betimleme mantığı
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Betimleme mantıkları
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Knowledge representation (Information theory)
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Predicate (Logic)
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: 2002023796: The description logic handbook, 2002:
- Information found: CIP publr. info. (description logics: a family of knowledge representation languages)
670 ## - SOURCE DATA FOUND
- Source citation: Description logics WWW home page, Mar. 12, 2002
- Information found: (logic-based knowledge representation languages tailored for expressing knowledge about concepts and concept hierarchies; a Tarski style declarative semantics allows them to be seen as a sub-language of predicate logic; basic building blocks are concepts, roles, and individuals)
670 ## - SOURCE DATA FOUND
- Source citation: LC database, Mar. 12, 2002
- Information found: (description logics)
688 ## - APPLICATION HISTORY NOTE
- Institution to which field applies: TR-AnTOB
- Application history note: Op 12.05.2020
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: https://lccn.loc.gov/sh2002004491
- Source of heading or term: lcsh