His scientific interests lie mostly in Programming language, Knowledge representation and reasoning, Description logic, Theoretical computer science and Software requirements specification. His work in the fields of Requirements modeling, Formal language and Software system overlaps with other areas such as Extensional definition. His Knowledge representation and reasoning study incorporates themes from Transitive closure, Key and Knowledge engineering.
His Description logic research incorporates themes from Discrete mathematics, The Internet, Formalism, Variety and Data science. His Theoretical computer science research incorporates elements of Algorithm, Computation, Semantics and Argument. His Software requirements specification research includes elements of Functional specification, Consistency, Specification language, Formal specification and System requirements specification.
Description logic, Knowledge representation and reasoning, Programming language, Theoretical computer science and Artificial intelligence are his primary areas of study. His work is dedicated to discovering how Description logic, Knowledge base are connected with Knowledge management and Information retrieval and other disciplines. In the field of Knowledge representation and reasoning, his study on Model-based reasoning overlaps with subjects such as Open Knowledge Base Connectivity.
His works in Software requirements specification, Formal specification, Exception handling, Consistency and Specification language are all subjects of inquiry into Programming language. Alexander Borgida has researched Software requirements specification in several fields, including Systems engineering, Software development process, Requirement prioritization and Functional specification. As a member of one scientific family, Alexander Borgida mostly works in the field of Theoretical computer science, focusing on Semantics and, on occasion, Semantics.
Alexander Borgida mainly focuses on Requirements engineering, Software engineering, Non-functional requirement, Description logic and Artificial intelligence. The various areas that Alexander Borgida examines in his Requirements engineering study include Agile software development and Semantics. His research integrates issues of Software system and Knowledge management in his study of Software engineering.
His research on Non-functional requirement also deals with topics like
Alexander Borgida spends much of his time researching Software engineering, Non-functional requirement, Requirements engineering, Systems engineering and Ontology. Alexander Borgida works mostly in the field of Software engineering, limiting it down to concerns involving Knowledge management and, occasionally, Process modeling, Business Process Model and Notation and Business architecture. His Non-functional requirement research focuses on subjects like Software requirements specification, which are linked to System requirements specification.
He works mostly in the field of Systems engineering, limiting it down to topics relating to Formal specification and, in certain cases, Software system and State, as a part of the same area of interest. His work deals with themes such as Logical consequence, Modeling language, Data mining and Conservative extension, which intersect with Ontology. Alexander Borgida has included themes like Description logic and Artificial intelligence in his Data mining study.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Telos: representing knowledge about information systems
John Mylopoulos;Alex Borgida;Matthias Jarke;Manolis Koubarakis.
(1990)
CLASSIC: a structural data model for objects
Alexander Borgida;Ronald J. Brachman;Deborah L. McGuinness;Lori Alperin Resnick.
international conference on management of data (1989)
Efficient management of transitive relationships in large data and knowledge bases
R. Agrawal;A. Borgida;H. V. Jagadish.
international conference on management of data (1989)
LIVING WITH CLASSIC: When and How to Use a KL-ONE-Like Language
Ronald J. Brachman;Deborah L. McGuinness;Peter F. Patel-Schneider;Lori Alperin Resnick.
Principles of Semantic Networks#R##N#Explorations in the Representation of Knowledge (1991)
On the relative expressiveness of description logics and predicate logics
Alex Borgida.
Artificial Intelligence (1996)
Distributed Description Logics: Assimilating Information from Peer Sources.
Alexander Borgida;Luciano Serafini.
Journal on Data Semantics (2003)
Description logics in data management
A. Borgida.
IEEE Transactions on Knowledge and Data Engineering (1995)
A semantics and complete algorithm for subsumption in the classic description logic
Alex Borgida;Peter F. Patel-Schneider.
Journal of Artificial Intelligence Research (1993)
Language features for flexible handling of exceptions in information systems
Alexander Borgida.
ACM Transactions on Database Systems (1985)
Conceptual Modeling: Foundations and Applications
Alexander T. Borgida;Vinay K. Chaudhri;Paolo Giorgini;Eric S. Yu.
(2009)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Ottawa
Rensselaer Polytechnic Institute
Palo Alto Research Center
Fondazione Bruno Kessler
RWTH Aachen University
University of Twente
University of Toronto
Chinese Academy of Sciences
University of Minnesota
University of Toronto
Singapore Management University
Uppsala University
Vrije Universiteit Amsterdam
Ningbo University
Duke University
Tongji University
Sandia National Laboratories
National Institute for Environmental Studies
KPMG (Netherlands)
Leibniz Association
Langley Research Center
University of Rome Tor Vergata
Curtin University
University of Bari Aldo Moro
The University of Texas Health Science Center at Houston
McMaster University