LaSSIE—a knowledge-based software information system
ICSE '90 Proceedings of the 12th international conference on Software engineering
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
COCS '91 Proceedings of the conference on Organizational computing systems
On subsumption and semiunification in feature algebras
Journal of Symbolic Computation
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
Interaction between path and type constraints
ACM Transactions on Computational Logic (TOCL)
An attributive logic of set descriptions and set operations
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
Validation of terminological inference in an information extraction task
HLT '93 Proceedings of the workshop on Human Language Technology
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Provenance-based validation of e-science experiments
Web Semantics: Science, Services and Agents on the World Wide Web
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine
On scene interpretation with description logics
Image and Vision Computing
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Knowledge modeling and reusability in ExClaim
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Computational ontologies of parthood, componenthood, and containment
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Semantic inference in natural language: validating a tractable approach
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Learning with feature description logics
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
Improved knowledge management through first-order logic in engineering design ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Integrating rules in term subsumption knowledge representation servers
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Deduction as parsing: tractable classification in the KL-ONE framework
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
An empirical analysis of terminological representation systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Provenance-based validation of e-science experiments
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Document retrieval by relevance terminological logics
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Detecting and revising flaws in OWL object property expressions
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
A decidable extension of SROIQ with complex role chains and unions
Journal of Artificial Intelligence Research
Hi-index | 0.00 |